Similar researchers to Amir Pnueli: Advanced Search
Name Institution Area Added by Date  
Rajeev Alur (Info) Penn (Computer Science Tree) Hardware and Software Systems: Real-Time, Embedded and Cyber-Physical Systems, Theory: Algorithms and Complexity david 2016‑01‑08 Sim(0.79)
Sotiene Tahar (Info) Concordia (Computer Science Tree) Electronics and Electrical Engineering, Computer Science pq 2016‑03‑24 Sim(0.79)
C. R. Ramakrishnan (Info) SUNY Stony Brook (Computer Science Tree) Logic Programming, Programming Languages, Verification. david 2016‑01‑11 Sim(0.78)
Mohamed Mejri (Info) Universite Laval (Canada) (Computer Science Tree) Computer Science pq 2016‑03‑26 Sim(0.78)
Jose Meseguer (Info) UIUC (Computer Science Tree) Computer Science pq 2016‑04‑04 Sim(0.77)
David Harel (Info) Weizmann Institute (Computer Science Tree) Computer Science pq 2016‑03‑24 Sim(0.77)
Vaughan Pratt (Info) Stanford (Computer Science Tree) david 2016‑01‑09 Sim(0.77)
Scott Smolka (Info) SUNY Stony Brook (Computer Science Tree) Model Checking, Semantics of Concurrency, CASE Tools for Safety-Critical Systems, Distributed Languages and Algorithms. david 2016‑01‑11 Sim(0.76)
D. Stott Parker (Info) UCLA (Computer Science Tree) Data Mining; Bioinformatics; Database Management and Scientific Data Management; Modeling david 2016‑01‑09 Sim(0.76)
Sanjit A. Seshia (Info) UC Berkeley (E-Tree) Design, Modeling and Analysis (DMA); Programming Systems (PS); Dependable Computing; Computational Logic; Formal Methods; Control, Intelligent Systems, and Robotics (CIR); Security (SEC); Theory (THY) david 2016‑01‑10 Sim(0.76)
Rupak Majumdar (Info) UCLA (Computer Science Tree) formal verification and control of systems; software verification and programming languages; game theoretic problems in verification; logic and automata theory david 2016‑01‑09 Sim(0.76)
Ali Mili (Info) West Virginia University (Computer Science Tree) Computer Science pq 2016‑03‑23 Sim(0.76)
Tevfik Bultan (Info) UC Santa Barbara (Computer Science Tree) david 2016‑01‑14 Sim(0.75)
Laurie Hendren (Info) McGill (Computer Science Tree) Computer Science pq 2016‑03‑24 Sim(0.75)
John Whaley (Info) Stanford (Computer Science Tree) pq 2016‑01‑10 Sim(0.75)
Benjamin Livshits (Info) Stanford (Computer Science Tree) pq 2016‑01‑10 Sim(0.75)
Rommel N. Carvalho (Info) George Mason (MathTree) Operations Research, Computer Science, General Engineering pq 2016‑02‑11 Sim(0.75)
Alex Doboli (Info) SUNY Stony Brook (E-Tree) CAD for electronic circuits and systems; specification, modeling, and synthesis of analog and mixed-signal circuits; Cyber-Physical and embedded (hardware-software) systems; methodologies for innovation in electronic design. david 2016‑01‑11 Sim(0.75)
Gul Agha (Info) UIUC (Robotree) Computer Science, Robotics Engineering pq 2016‑02‑05 Sim(0.75)
Abraham Silberschatz (Info) Yale (Computer Science Tree) david 2016‑01‑02 Sim(0.75)
Martin Erwig (Info) Oregon State (Computer Science Tree) Computer Science pq 2016‑04‑18 Sim(0.75)
Scott Stoller (Info) SUNY Stony Brook (Computer Science Tree) Distributed Systems, Fault-tolerance and Security, Software Testing and Verification, Program Analysis and Optimization. david 2016‑01‑11 Sim(0.75)
Gabor Madl (Info) UC Irvine (Computer Science Tree) Computer Science pq 2016‑03‑28 Sim(0.74)
Andreas Kuehlmann (Info) UC Berkeley (E-Tree) Design, Modeling and Analysis (DMA) david 2016‑01‑10 Sim(0.74)
Carlo Zaniolo (Info) UCLA (Computer Science Tree) knowledge-based systems; database systems; non-monotonic reasoning; spatio/temporal reasoning; scientific databases david 2016‑01‑09 Sim(0.74)
David Dill (Info) Stanford (Computer Science Tree) david 2016‑01‑09 Sim(0.74)
Jens Palsberg (Info) UCLA (Computer Science Tree) compilers; embedded systems; programming languages; software engineering; information security david 2016‑01‑09 Sim(0.74)
Hillel Kugler (Info) Weizmann Institute (Computer Science Tree) Mathematics, Computer Science pq 2016‑03‑24 Sim(0.74)
Alberto L. Sangiovanni-Vincentelli (Info) UC Berkeley (E-Tree) Design, Modeling and Analysis (DMA), Embedded System Design; Design methodologies and tools; Control, Intelligent Systems, and Robotics (CIR), Hybrid systems; Design methodologies and tools; Communications & Networking (COMNET), Wireless sensor network de david 2016‑01‑10 Sim(0.74)
Houari Sahraoui (Info) Université de Montréal (Computer Science Tree) Computer Science pq 2016‑04‑18 Sim(0.74)
Bharat Jayaraman (Info) SUNY Buffalo (Computer Science Tree) Computer Science pq 2016‑03‑24 Sim(0.74)
Richard A. Kemmerer (Info) UC Santa Barbara (Computer Science Tree) david 2016‑01‑14 Sim(0.74)
Frederick C. Harris (Info) University of Nevada, Reno (BME Tree) Biomedical Engineering, Computer Engineering, Neuroscience Biology pq 2016‑02‑05 Sim(0.74)
Luigi Logrippo (Info) University of Ottawa (Computer Science Tree) Computer Science pq 2016‑03‑24 Sim(0.74)
Li-Wei Pan (Info) University of Michigan (Physics Tree) Nanotechnology; design and manufacturing of microsensors and microactuators pq 2016‑01‑01 Sim(0.74)
Robert Levinson (Info) UC Santa Cruz (Computer Science Tree) Computer Science pq 2016‑03‑24 Sim(0.74)
Alfred V. Aho (Info) Columbia (Computer Science Tree) Compilers, Software Engineering, Algorithms, Quantum Computing david 2016‑01‑10 Sim(0.74)
Ratna B. Chinnam (Info) Wayne State (E-Tree) Industrial Engineering, Analytics, Data Science pq 2016‑02‑19 Sim(0.74)
Manish Vachharajani (Info) Princeton (E-Tree) Computing & Networking,High-Performance Computing,Integrated Electronic Systems,Security pq 2016‑01‑13 Sim(0.74)
Panagiotis Manolios (Info) Georgia Tech (Computer Science Tree) Electronics and Electrical Engineering, Computer Science pq 2016‑03‑23 Sim(0.74)
George Vachtsevanos (Info) Georgia Tech (Robotree) Robotics Engineering, Electronics and Electrical Engineering, Aerospace Engineering pq 2016‑02‑09 Sim(0.74)
Joanne B. Dugan (Info) UVA (Computer Science Tree) Electronics and Electrical Engineering, Computer Science pq 2016‑03‑23 Sim(0.74)
Gabor Karsai (Info) Vanderbilt (Computer Science Tree) Electronics and Electrical Engineering, Computer Science pq 2016‑03‑29 Sim(0.74)
Shuvendu K. Lahiri (Info) Carnegie Mellon (Computer Science Tree) Computer Science, Electronics and Electrical Engineering pq 2016‑03‑25 Sim(0.74)
Peter Beling (Info) UVA (Computer Science Tree) System Science Engineering, Computer Science pq 2016‑03‑24 Sim(0.74)
Sik-Sang Yau (Info) Arizona State (Computer Science Tree) Computer Science pq 2016‑04‑04 Sim(0.73)
Ganesh Gopalakrishnan (Info) University of Utah (Computer Science Tree) Computer Science pq 2016‑03‑24 Sim(0.73)
Divjyot Sethi (Info) Princeton (E-Tree) Computing & Networking,High-Performance Computing,Integrated Electronic Systems,Security pq 2016‑01‑13 Sim(0.73)
Hosagrahar V. Jagadish (Info) University of Michigan (LinguisTree) Computer Science, Experimental Psychology, Linguistics Language pq 2016‑03‑12 Sim(0.73)
Hosagrahar V. Jagadish (Info) University of Michigan (LinguisTree) Computer Science, Experimental Psychology, Linguistics Language pq 2016‑03‑12 Sim(0.73)
Sign in to add a new person