Probabilistically Checkable Proofs Professors in Global

Search By
Location
Location
Searching Globally
Professor
Professor Profile
David Parker
University of Oxford United Kingdom
probabilistic verification
probabilistic model checking
View Professor Profile
Professor
Professor Profile
Steven Kelk
Maastricht University Netherlands
computational proof
proof assistants
View Professor Profile
Professor
Professor Profile
Liat Levanon
King's College London United Kingdom
probabilistic reasoning
statistical evidence
View Professor Profile
Professor
Professor Profile
Sebastiaan Terwijn
Radboud University Netherlands
probabilistic logic
proof theory
View Professor Profile
Professor
Professor Profile
Jian-bo Yang
University of Manchester United Kingdom
probabilistic inference
evidential reasoning
View Professor Profile
Professor
Professor Profile
Revantha Ramanayake
University of Groningen Netherlands
proof theory
proof assistants
View Professor Profile
Professor
Professor Profile
Peter Allen
London School of Economics and Political Science United Kingdom
probabilistic combinatorics
probabilistic extremal combinatorics
View Professor Profile
Professor
Professor Profile
Martin Möhle
Eberhard Karls University Tübingen Germany
probabilistic number theory
probability theory
View Professor Profile
Professor
Professor Profile
Yingzhen Li
Imperial College London United Kingdom
probabilistic machine learning
explainable machine learning
View Professor Profile
Professor
Professor Profile
Henrik Boström
KTH Royal Institute of Technology Sweden
probabilistic machine learning
explainable machine learning
View Professor Profile
Professor
Professor Profile
Davide Arioldi
Università della Svizzera italiana Switzerland
probabilistic programming
probabilistic graphical models
View Professor Profile
Professor
Professor Profile
Magnus Myréen
University of Gothenburg Sweden
theorem proving
proof logging
View Professor Profile
Professor
Professor Profile
Mateja Jamnik
University of Cambridge United Kingdom
theorem proving
explainability
View Professor Profile
Professor
Professor Profile
Kemal Büyükkurt
Concordia University Canada
probabilistic decision support systems
probabilistic choice models
View Professor Profile
Professor
Professor Profile
Ryan O'donnell
Carnegie Mellon University United States of America
probability theory
proof complexity
View Professor Profile
Professor
Professor Profile
Francois Dupressoir
University of Bristol United Kingdom
machine-checked proofs
View Professor Profile
Professor
Professor Profile
Andrew Appel
Princeton University United States of America
machine-checked proofs
View Professor Profile
Professor
Professor Profile
Jürgen Giesl
RWTH Aachen University Germany
mathematical proofs
View Professor Profile
Professor
Professor Profile
Assia Mahboubi
Inria France
mathematical proofs
View Professor Profile
Professor
Professor Profile
Thomas Icard
Stanford University United States of America
probabilistic reasoning
View Professor Profile
Professor
Professor Profile
Satish Thittamaranahalli
University of Southern California United States of America
probabilistic reasoning
View Professor Profile
First
Prev
Page 1 | 656 Results
Next