Edmund Clarke

Edmund Clarke

University Professor Emeritus at Carnegie Mellon University
Підтверджена електронна адреса в cs.cmu.edu
Цитовано в 90788 джерелах
Formal methods Model Checking
Rajeev Alur

Rajeev Alur

Zisman Family Professor of Computer and Information Science, University of Pennsylvania
Підтверджена електронна адреса в seas.upenn.edu
Цитовано в 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
Підтверджена електронна адреса в cs.wisc.edu
Цитовано в 53630 джерелах
Trustworthy Machine Learning Security Formal methods Programming Languages
George Pappas

George Pappas

UPS Foundation Professor, Electrical and Systems Engineering, University of Pennsylvania
Підтверджена електронна адреса в seas.upenn.edu
Цитовано в 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
Підтверджена електронна адреса в columbia.edu
Цитовано в 44941 джерелах
trustworthy AI security and privacy formal methods programming languages
David McAllester

David McAllester

Professor, Toyota Technological Institute at Chicago
Підтверджена електронна адреса в ttic.edu
Цитовано в 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 …
Підтверджена електронна адреса в cs.rwth-aachen.de
Цитовано в 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 …
Підтверджена електронна адреса в cims.nyu.edu
Цитовано в 29380 джерелах
Abstract Interpretation Semantics Verification Formal methods
Dr. Zafar Iqbal Roy

Dr. Zafar Iqbal Roy

Assistant Professor
Підтверджена електронна адреса в cuisahiwal.edu.pk
Цитовано в 28516 джерелах
Machine Learning Data Science Networks Internet of Vehicles Formal Methods
Sanjit A. Seshia

Sanjit A. Seshia

Professor of EECS, University of California, Berkeley
Підтверджена електронна адреса в eecs.berkeley.edu
Цитовано в 25609 джерелах
Formal Methods Design Automation Cyber-Physical Systems Artificial Intelligence Computer Security
1 - 10