Rajeev Alur
E47797
Rajeev Alur is a prominent computer scientist known for his foundational contributions to formal methods, automata theory, and the verification of real-time and hybrid systems.
Statements (47)
| Predicate | Object |
|---|---|
| instanceOf |
academic
→
computer scientist → researcher → |
| coAuthor |
David Dill
→
Gerard J. Holzmann → Madhusudan Parthasarathy → Moshe Y. Vardi → P. Madhusudan → Thomas A. Henzinger → |
| countryOfCitizenship |
United States
→
|
| educatedAt |
Indian Institute of Technology Kanpur
→
Stanford University → |
| employer |
University of Pennsylvania
→
|
| fieldOfStudy |
computer science
→
|
| fieldOfWork |
automata theory
→
formal methods → hybrid systems → model checking → program verification → reactive systems → real-time systems → |
| gender |
male
→
|
| hasAcademicAdvisor |
Zohar Manna
→
|
| hasContribution |
algorithms for model checking of timed automata
→
applications of automata theory to software verification → foundational work in formal methods for cyber-physical systems → introduction of timed automata as a model for real-time systems → logical formalisms for reasoning about time → specification formalisms for real-time systems → synthesis of controllers for reactive systems → theory of hybrid automata → verification techniques for embedded systems → |
| knownFor |
contributions to automata theory
→
formal specification and verification → synthesis of reactive systems → temporal logic for real-time systems → timed automata → verification of hybrid systems → verification of real-time systems → |
| language |
English
→
|
| nativeLanguage |
Hindi
→
|
| notableWork |
papers on formal methods for software and hardware systems
→
papers on verification of real-time systems → research on hybrid automata → research on timed automata → |
| position |
professor
→
|
| workInstitution |
University of Pennsylvania
→
|
Referenced by (1)
| Subject (surface form when different) | Predicate |
|---|---|
|
Herbrand Award
→
|
notableRecipient |