Self Verification Theory Professors in Global

Search By
Location
Location
Searching Globally
Professor
Professor Profile
David Parker
University of Oxford United Kingdom
probabilistic verification
automated verification
verification
View Professor Profile
Professor
Professor Profile
David Dill
Stanford University United States of America
software verification
formal verification
hardware verification
View Professor Profile
Professor
Professor Profile
Kerstin Eder
University of Bristol United Kingdom
verification
formal verification
validation
View Professor Profile
Professor
Professor Profile
Jamal Bentahar
Concordia University Canada
automatic verification
validation
decision theory
View Professor Profile
Professor
Professor Profile
Ryan O'donnell
Carnegie Mellon University United States of America
learning theory
information theory
probability theory
View Professor Profile
Professor
Professor Profile
Clare Dixon
University of Manchester United Kingdom
verification
specification verification
theorem-proving
View Professor Profile
Professor
Professor Profile
Szilvia Pápai
Concordia University Canada
matching theory
social choice theory
game theory
View Professor Profile
Professor
Professor Profile
Mark Ward
Purdue University United States of America
information theory
probability theory
game theory
View Professor Profile
Professor
Professor Profile
Sidharth Jaggi
University of Bristol United Kingdom
information theory
estimation theory
coding theory
View Professor Profile
Professor
Professor Profile
Cai Kui
Singapore University of Technology and Design Singapore
information theory
communication theory
coding theory
View Professor Profile
Professor
Professor Profile
Kevin Tang
Cornell University Netherlands
information theory
game theory
control theory
View Professor Profile
Professor
Professor Profile
Eilyan Bitar
Cornell University Netherlands
information theory
game theory
control theory
View Professor Profile
Professor
Professor Profile
Eddie Dekel
Northwestern University United States of America
voting theory
decision theory
game theory
View Professor Profile
Professor
Professor Profile
Mihalis Yannakakis
Columbia University United States of America
verification and testing of reactive systems
game theory
complexity theory
View Professor Profile
Professor
Professor Profile
Hsueh-ling Huynh
Boston University United States of America
social choice theory
decision theory
game theory
View Professor Profile
Professor
Professor Profile
Florian Brandl
University of Bonn Germany
social choice theory
decision theory
game theory
View Professor Profile
Professor
Professor Profile
Andrzej Murawski
University of Oxford United Kingdom
automated verification
software verification
View Professor Profile
Professor
Professor Profile
Viktor Kuncak
École Polytechnique Fédérale de Lausanne Switzerland
systems verification
formal verification
View Professor Profile
Professor
Professor Profile
Michalis Kokologiannakis
Max Planck Institute for Software Systems Germany
automated verification testing
software verification
View Professor Profile
Professor
Professor Profile
Maribel Fernandez
King's College London United Kingdom
analysis and verification
software verification
View Professor Profile
Professor
Professor Profile
Randal Bryant
Carnegie Mellon University United States of America
software verification
formal verification
View Professor Profile
First
Prev
Page 1 | 2274 Results
Next