Rajeev alur
Rajeev alur
Rajeev Alur der 16. August 2006.
| Geburt | 5. März 1966 |
|---|---|
| Staatsangehörigkeit | amerikanisch |
| Ausbildung |
Indisches Institut für Technologie der Stanford University , Kanpur |
| Aktivitäten | Informatiker , Ingenieur |
| Arbeitete für | Universität von Pennsylvania |
|---|---|
| Mitglied von |
Verband der Ingenieure für Elektrotechnik und Elektronik für Computermaschinen |
| Auszeichnungen |
ACM Fellow IEEE Fellow |
Rajeev Alur , geboren am5. März 1966ist ein Computertheoretiker der amerikanischen Staatsbürgerschaft indischer Herkunft . Er ist Professor am Institut für Computer- und Informationswissenschaft der University of Pennsylvania , USA , am Zisman Family Chair .
Biografie
Alur erwarb 1987 einen Bachelor of Technology in Informatik am Indian Institute of Technology in Kanpur , Indien, und promovierte 1991 in Informatik an der Stanford University in Kalifornien unter der Aufsicht von David L. Dill ( " Techniques for Automatic Verification") von Echtzeitsystemen " ). Er arbeitete zunächst am Computing Science Research Center der Bell Laboratories und trat dann 1997 der University of Pennsylvania bei.
Forschung
Alurs Forschungsgebiete sind die formale Modellierung reaktiver Systeme, die Modellverifizierung , die Softwareverifizierung und das automatische Design eingebetteter Software. Seine Beiträge umfassen zeitgesteuerte Automaten und zeitliche Spezifikationen basierend auf verschachtelten Wort- und Baumsprachen.
Ehrungen und Preise
- 1987: Präsident der indischen Goldmedaille für akademische Exzellenz , Indian Institute of Technology, Kanpur.
- 1998: Preis der National Science Foundation für frühe Karriereentwicklung ,.
- 2007: Fellow der ACM
- 2008: Fellow des IEEE
- 2008: CAV-Preis (Computer Aided Verification) „ für grundlegende Beiträge zur Theorie der Echtzeit-Systemverifizierung “ (mit David Dill).
- 2010: LICS (IEEE-Symposium für Logik in der Informatik) Test-of-Time-Auszeichnung für den LICS-Artikel „Modellprüfung für Echtzeitsysteme“ von 1990 von der LICS-Konferenz 1990 (mit David Dill und Costas Courcoubetis).
- 2016: Alonzo Church Prize für „ herausragende Beiträge zu Logik und Berechnung “ und „ für die Erfindung zeitgesteuerter Automaten “ .
- 2005–2007: Vorsitzender von ACM SIGBED (Special Interest Group on Embedded Systems).
Funktioniert
Die Artikel, die in den ihm verliehenen Preisen zitiert werden, sind:
- Rajeev Alur und David L. Dill , " Eine Theorie zeitgesteuerter Automaten ", Theoretical Computer Science , vol. 126, n o 21994, p. 183-235 ( DOI 10.1016 / 0304-3975 (94) 90010-8 ), für den Alonzo Church Award
- Rajeev Alur , Costas Courcoubetis und David L. Dill , " Modellprüfung für Echtzeitsysteme ", Proceedings of the Fifth Annual IEEE Symposium on Logic in Computer Science (LICS 1990) ,1900, p. 414-425 ( DOI 10.1109 / LICS.1990.113766 ), für den LICS Test-of-Time Award
Anmerkungen und Referenzen
- (in) Lebenslauf [PDF] Rajeev Alur.
- (in) " Rajeev Alur " auf der Website des Mathematics Genealogy Project .
- " Rajeev Alur " [ Archiv von 1 st März 2012] , ACM Fellows , ACM,2007(abgerufen am 23. Januar 2010 ) : „Für Beiträge zur Spezifikation und Verifizierung von reaktiven und hybriden Systemen. " .
- (in) " LICS Test-of-Time Award " : " Dieses Papier war ein Pionier bei der Modellprüfung von Echtzeitsystemen. ""
- Laudatio auf dem EATCS.
Externe Links
- Rajeev Alur persönliche Seite
- Rajeev Alurs Veröffentlichungen zu DBLP
- Zitate aus Rajeev Alurs Arbeit an Google Scholar