(Q7285926)

1 March 2022

0 references

0 references

1 reference

16 December 2022

1 reference

7 November 2022

1 reference

University of Pennsylvania

7 November 2022

2 references

imported from Wikimedia project

French Wikipedia

https://ieeexplore.ieee.org/author/37350589300

educated at

Stanford University

1 reference

Indian Institute of Technology Kanpur

0 references

doctoral advisor

David L. Dill

1 reference

doctoral student

Pavol Cerny

1 reference

Sebastian Burckhardt

1 reference

Michael McDougall

1 reference

Swarat Chaudhuri

1 reference

Franjo Ivancic

1 reference

Salvatore La Torre

1 reference

Wonhong Nam

1 reference

Bow-Yaw Wang

1 reference

Zijiang Yang

1 reference

Loris D'Antoni

1 reference

Yifei Yuan

1 reference

Abhishek Udupa

1 reference

Institute of Electrical and Electronics Engineers

member of

0 references

Association for Computing Machinery

3 December 2007

1 reference

https://www.acm.org/media-center/2007/december/acm-names-38-fellows-for-computing-and-it-innovations-in-industry-education-entertainment

24 June 2024

2007

3 December 2007

For contributions to specification and verification of reactive and hybrid systems (English)

1 reference

https://www.acm.org/media-center/2007/december/acm-names-38-fellows-for-computing-and-it-innovations-in-industry-education-entertainment

retrieved

24 June 2024

IEEE Fellow

0 references

Fellow of the American Association for the Advancement of Science

point in time

2016

1 reference

https://web.archive.org/web/20220321015113/https://www.aaas.org/news/2016-aaas-fellows-honored-advancing-science-serve-society

Knuth Prize

point in time

2024

1 reference

title

2024 Knuth Prize: Rajeev Alur (English)

publisher

SIGACT

https://www.sigact.org/prizes/knuth/citation2024.html

retrieved

16 August 2024

maintained by WikiProject

WikiProject Mathematics

0 references

Erdős number

3

0 references

Commons category

Rajeev Alur

0 references

Identifiers

VIAF ID

22841433

1 reference

http://bnb.data.bl.uk/id/person/AlurRajeev1966-

30 January 2019

0 references

1 reference

inferred from linked VIAF cluster

VIAF ID

22841433

https://viaf.org/viaf/data/viaf-20230206-links.txt.gz

10 February 2023

0 references

1 reference

National Library of Israel Names and Subjects Authority File

Library of Congress authority ID

n96031423

1 reference

Virtual International Authority File

6 March 2019

1 reference