| 词条 | Rajeev Alur |
| 释义 |
Rajeev Alur is the Zisman Family Professor in the Department of Computer and Information Science at the University of Pennsylvania, United States. Alur obtained his bachelor's degree in computer science from the Indian Institute of Technology at Kanpur, India, in 1987, and PhD in computer science from Stanford University, California, USA, in 1991. Before joining the University of Pennsylvania in 1997, he was with the Computing Science Research Center at Bell Laboratories. Alur's research spans formal modeling and analysis of reactive systems, hybrid systems, model checking, software verification, and design automation for embedded software. His contributions include timed automata and temporal specifications based on languages of nested words and trees. He is a Fellow of the ACM,[1] a Fellow of the IEEE, and recently served as the chair of ACM SIGBED (Special Interest Group on Embedded Systems). Awards and honors
References1. ^{{cite web | url=http://fellows.acm.org/fellow_citation.cfm?id=3671617&srt=alpha&alpha=A | title=Rajeev Alur | work=ACM Fellows | publisher=ACM | year=2007 | accessdate=2010-01-23 | quote=For contributions to the specification and verification of reactive and hybrid systems.}} 2. ^{{cite web | url=http://www2.informatik.hu-berlin.de/lics/archive/test-of-time-award.html| title=LICS Test-of-Time award|quote=For the pioneer work in the model checking of real-time systems.}} External links{{Commons category}}
14 : Year of birth missing (living people)|Living people|Place of birth missing (living people)|Indian Institute of Technology Kanpur alumni|Indian expatriates in the United States|American male scientists of Indian descent|Stanford University alumni|Scientists at Bell Labs|University of Pennsylvania faculty|Formal methods people|American computer scientists|Fellows of the Association for Computing Machinery|Fellow Members of the IEEE|Simons Investigator |
| 随便看 |
|
开放百科全书收录14589846条英语、德语、日语等多语种百科知识，基本涵盖了大多数领域的百科知识，是一部内容自由、开放的电子版国际百科全书。