Edmund Clarke

Edmund Clarke

University Professor Emeritus at Carnegie Mellon University
Patvirtintas el. paštas cs.cmu.edu
Cituoja 90788
Formal methods Model Checking
Rajeev Alur

Rajeev Alur

Zisman Family Professor of Computer and Information Science, University of Pennsylvania
Patvirtintas el. paštas seas.upenn.edu
Cituoja 54877
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
Patvirtintas el. paštas cs.wisc.edu
Cituoja 53630
Trustworthy Machine Learning Security Formal methods Programming Languages
George Pappas

George Pappas

UPS Foundation Professor, Electrical and Systems Engineering, University of Pennsylvania
Patvirtintas el. paštas seas.upenn.edu
Cituoja 50705
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
Patvirtintas el. paštas columbia.edu
Cituoja 44941
trustworthy AI security and privacy formal methods programming languages
David McAllester

David McAllester

Professor, Toyota Technological Institute at Chicago
Patvirtintas el. paštas ttic.edu
Cituoja 43640
Artificial Intelligence Machine Learning Computer Vision Programming Languages Formal Methods
Joost-Pieter Katoen

Joost-Pieter Katoen

Distinguished Professor of Computer Science, RWTH Aachen University and University of …
Patvirtintas el. paštas cs.rwth-aachen.de
Cituoja 30295
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 …
Patvirtintas el. paštas cims.nyu.edu
Cituoja 29380
Abstract Interpretation Semantics Verification Formal methods
Dr. Zafar Iqbal Roy

Dr. Zafar Iqbal Roy

Assistant Professor
Patvirtintas el. paštas cuisahiwal.edu.pk
Cituoja 28516
Machine Learning Data Science Networks Internet of Vehicles Formal Methods
Sanjit A. Seshia

Sanjit A. Seshia

Professor of EECS, University of California, Berkeley
Patvirtintas el. paštas eecs.berkeley.edu
Cituoja 25609
Formal Methods Design Automation Cyber-Physical Systems Artificial Intelligence Computer Security
1 - 10