York / Science / San Francisco / Tahoe City / Santa Barbara / Montreal / Taipei / Paris / Princeton / Marktoberdorf / Philadelphia / CNRS / Pune / Portland / Amsterdam / Taormina / Grenoble / Aalborg / San Jose / Systems / Seattle / Monterrey / Chennai / Ekaterinburg / Boston / Bruxelles / New York / Zurich / Rehovot / New Orleans / Berlin / Haifa / Saarbrucken / Cambridge / Nashville / Security / Academia Sinica / Bertinoro / Chicago / Edinburgh / /
Company
Thomson / Discrete Event Systems / Embedded Software / Microsoft Search Labs / CONCUR / Hybrid Systems / Toyota / World Scientific / IEEE Software / Model Checking Software / Timed Systems / IBM / Embedded Computer Systems / IFIP Working Group / Special Interest Group / Embedded Systems / NEC Labs America / Software Co / Bell Laboratories / International Journal / Intel / /
Country
Switzerland / Netherlands / France / Canada / Korea / United Kingdom / Israel / India / Denmark / Taiwan / Germany / Italy / Russia / United States / Columbia / / /
Facility
University of Rome / University of Grenoble / Stanford University / University of Illinois / Max-Planck Institute / Louisiana State University / Weizmann Institute of Science / Columbia University / University of Edinburgh / Vanderbilt University / Pennsylvania State University / Indian Institute of Technology / Library Committee / University of Texas / Radbound University / Konkuk University / University of California / University of Illinois at Chicago / University of Colorado / Levine Hall University of Pennsylvania Philadelphia / University Committee / Newton Institute / Carnegie Mellon University / Western Michigan University / University of California at Los Angeles / Michigan State University / Arizona State University / University of Oxford / Toyota Technical Center / IBM Almaden Research Center / University of Nijmegen / University Research Council / Indian Institute of Science / Rice University / University of Pennsylvania / Ben Gurion University / University of Paris / University of Salerno / / /
IndustryTerm
reactive systems / software analysis / real-time systems verification / concurrent software / real-time systems / Software synthesis / Software verification / Software model / /
NaturalFeature
PhD Fall / /
Organization
University of Rome / Simons Foundation / Institute for Mathematical Sciences / University of Texas at Austin / Lipari School / Department of Computer and Information Science / Ben Gurion University / Practice Award Committee / Office for Scientific Research / Indian Institute of Science / Bangalore / University of Grenoble / Rice University / Conference committee / University Committee on Academic Planning and Budget / University of Oxford / Columbia University / New York / Institute for Scientific Information / Indian Institute of Technology / Kanpur / School on Formal Software Engineering / Fourth International Summer School on Formal Methods for the Design of Computer / Communication / and Software Systems / Department of Computer and Information Science Colloquium / University of Nijmegen / Levine Hall University of Pennsylvania Philadelphia / University of Edinburgh / Carnegie Mellon University / Operating Systems Lab / Department of Electrical Engineering / University of California at Los Angeles / Marktoberdorf Summer School on Software and System Reliability / University of Salerno / University Research Council / Weizmann Institute of Science / Award committee / The Netherlands Computer Science Research Foundation / Science Foundation of Ireland / Michigan State University / Laboratory for Foundations of Computer Science / School of Engineering and Applied Science / Faculty Personnel Committee / Konkuk University / National Science Foundation / Curriculum Vitae1 Rajeev Alur Address Department of Computer and Information Science / Israel Science Foundation / University of Pennsylvania / Max-Planck Institute for Software Systems / Conference Organization / Western Michigan University / Pennsylvania State University / University of California / Berkeley / SUNY / Department of Electrical Engineering and Computer Science / Library Committee / University of California at San Diego / Department of Applied Mathematics / University of Illinois / University of Paris / Arizona State University / 17th International School for Computer Science Researchers / Department of Computer Science / Organization for Scientific Research / Stanford University / Louisiana State University / Scientific Research / Engineering and Physical Sciences Research Council / Vanderbilt University / University of Colorado / Boulder / European Association for Computer Science Logic / Visiting Faculty / Indian Institute of Technology / Mumbai / Radbound University / International School / Steering committee / Summer School Europe / Natural Sciences and Engineering Research Council / IEEE Computer Society / LICS Test-of-Time Award Committee / George H. Heilmeier Faculty / /
Person
Nicolas Basset / Franjo Ivancic / Anduo Wang / Daniel Wagner / Federico Mari / Victor Du / Abhishek Udupa / Murray Hill / Thao Dang / Patricia Bouyer / Salar Moarref / Frederic Servais / Jason Simas / Bow-Yaw Wang / Milo Martin / Jon Postel / Costas Courcoubetis / Georgios Fainekos / Michael Greenberg / Sridhar Duggirala / Jin Anh / Dejan Nickovic / Christos Stergiou / Mikhail Bernadsky / Alfred P. Sloan / Gerardo Schneider / Insik Shin / Mohamed-Faouzi Atig / Ofer Strichman / Colin Blundell / Martin Lange / Stavros Tripakis / Hee-Hwan Kwak / ACM SIGBED / Carl Gunter / Jianping Shi / Arun Chandrasekharapuram / Jangwoo Shin / Sebastian Burckhardt / George Pappas / Mahesh Viswanathan / David Dill / Peter-Michael Osera / Michael McDougall / Flavio Lerda / Davor Obradovic / Salvatore La Torre / Rajeev Alur / / /
Position
Chair Graduate Group / Visiting Researcher / Professor / General Chair / Associate Professor / Member of Technical Staff / Computing Sciences Research Center / Program Chair / researcher / President of India Gold / Scientist / Software Development Engineer / Program Co-chair and Conference Co-chair / Co-chair and Conference Co-chair / DIMACS Workshop on Verification and Control / ARTIST / Director / Lecturer / Chair / Professor of Computer and Information Science / Distinguished Lecturer / /
ProvinceOrState
New Brunswick / New York / Michigan / California / Colorado / Texas / New Jersey / Illinois / Pennsylvania / /
PublishedMedium
Journal of the ACM / IEEE Software / Logical Methods in Computer Science / IEEE Transactions on Software Engineering / IEEE Transactions on Computers / Formal Aspects of Computing / Theoretical Computer Science / /
Region
Western Michigan / /
SportsLeague
Stanford University / /
Technology
Software Technology / Information Technology / CAV / CRM / Operating Systems / /