Machine Checked Proofs Professors in Global

Search By
Location
Location
Searching Globally
Professor
Professor Profile
Revantha Ramanayake
University of Groningen Netherlands
proof assistants
automated theorem proving
proof theory
View Professor Profile
Professor
Professor Profile
Magnus Myréen
University of Gothenburg Sweden
proof logging
theorem proving
automated reasoning
View Professor Profile
Professor
Professor Profile
Jeroen Keiren
Eindhoven University of Technology Belgium
hardware verification
software verification
model checking
View Professor Profile
Professor
Professor Profile
Clark Barrett
Stanford University United States of America
hardware verification
software verification
automated reasoning
View Professor Profile
Professor
Professor Profile
Mateja Jamnik
University of Cambridge United Kingdom
theorem proving
machine learning
automated reasoning
View Professor Profile
Professor
Professor Profile
Mateja Jamnik
University of Cambridge United Kingdom
theorem proving
machine learning
automated reasoning
View Professor Profile
Professor
Professor Profile
Francois Dupressoir
University of Bristol United Kingdom
machine-checked proofs
program verification
View Professor Profile
Professor
Professor Profile
Andrew Appel
Princeton University United States of America
machine-checked proofs
program verification
View Professor Profile
Professor
Professor Profile
Assia Mahboubi
Inria France
mathematical proofs
automated verification
View Professor Profile
Professor
Professor Profile
Steven Kelk
Maastricht University Netherlands
computational proof
proof assistants
View Professor Profile
Professor
Professor Profile
Curtis Bright
University of Windsor Canada
computer-assisted proofs
automated reasoning
View Professor Profile
Professor
Professor Profile
Jürgen Giesl
RWTH Aachen University Germany
mathematical proofs
program verification
View Professor Profile
Professor
Professor Profile
Sofiène Tahar
Concordia University Canada
hardware verification
theorem proving
View Professor Profile
Professor
Professor Profile
Herman Geuvers
Radboud University Netherlands
proof assistants
software verification
View Professor Profile
Professor
Professor Profile
David Dill
Stanford University United States of America
hardware verification
software verification
View Professor Profile
Professor
Professor Profile
David Parker
University of Oxford United Kingdom
automated verification
probabilistic verification
View Professor Profile
Professor
Professor Profile
Andrzej Murawski
University of Oxford United Kingdom
automated verification
software 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
Otmane Ait Mohamed
Concordia University Canada
hardware verification
model checking
View Professor Profile
Professor
Professor Profile
Thomas Sewell
University of New South Wales Australia
theorem proving
software verification
View Professor Profile
Professor
Professor Profile
Sergei Gukov
California Institute of Technology United States of America
automated theorem proving
machine learning
View Professor Profile
First
Prev
Page 1 | 7605 Results
Next