Edmund Clarke

Edmund Clarke

University Professor Emeritus at Carnegie Mellon University
Verified email at cs.cmu.edu
Cited by 91244
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 55226
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 54610
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 51680
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 45516
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 44131
Artificial Intelligence Machine Learning Computer Vision Programming Languages Formal Methods
Dr. Zafar Iqbal Roy

Dr. Zafar Iqbal Roy

Assistant Professor
Verified email at cuisahiwal.edu.pk
Cited by 33274
Machine Learning Data Science Networks Internet of Vehicles 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 30610
formal methods model checking concurrency theory probabilistic programming program verification
Patrick Cousot

Patrick Cousot

Professor of Computer Science, Courant Institute of Mathematical Sciences, New York …
Verified email at cims.nyu.edu
Cited by 29501
Abstract Interpretation Semantics Verification Formal methods
Sanjit A. Seshia

Sanjit A. Seshia

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