Edmund Clarke

Edmund Clarke

University Professor Emeritus at Carnegie Mellon University
Verified email at cs.cmu.edu
Cited by 88340
Formal methods Model Checking
Rajeev Alur

Rajeev Alur

Zisman Family Professor of Computer and Information Science, University of Pennsylvania
Verified email at seas.upenn.edu
Cited by 52563
Formal methods Trustworthy AI Cyber-physical systems Programming languages Logic in Computer Science
Somesh Jha

Somesh Jha

Lubar Chair of Computer Science, University of Wisconsin
Verified email at cs.wisc.edu
Cited by 49323
Trustworthy Machine Learning Security Formal methods Programming Languages
George Pappas

George Pappas

UPS Foundation Professor, Electrical and Systems Engineering, University of Pennsylvania
Verified email at seas.upenn.edu
Cited by 46506
Control theory automatic control robotics formal methods cyber-physical systems
Jeannette M Wing

Jeannette M Wing

Executive Vice President for Research, Professor of Computer Science, Columbia University
Verified email at columbia.edu
Cited by 42092
trustworthy AI security and privacy formal methods programming languages
David McAllester

David McAllester

Professor, Toyota Technological Institute at Chicago
Verified email at ttic.edu
Cited by 41257
Artificial Intelligence Machine Learning Computer Vision Programming Languages Formal Methods
Patrick Cousot

Patrick Cousot

Professor of Computer Science, Courant Institute of Mathematical Sciences, New York …
Verified email at cims.nyu.edu
Cited by 28477
Abstract Interpretation Semantics Verification Formal methods
Joost-Pieter Katoen

Joost-Pieter Katoen

Distinguished Professor of Computer Science, RWTH Aachen University and University of …
Verified email at cs.rwth-aachen.de
Cited by 28404
formal methods model checking concurrency theory probabilistic programming program verification
Sanjit A. Seshia

Sanjit A. Seshia

Professor of EECS, University of California, Berkeley
Verified email at eecs.berkeley.edu
Cited by 23811
Formal Methods Design Automation Cyber-Physical Systems Artificial Intelligence Computer Security
Yang Liu

Yang Liu

Nanyang Technological University
Verified email at ntu.edu.sg
Cited by 23727
Software Engineering Cyber Security Program Analysis Trustworthy AI Formal Methods
1 - 10