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
Warren Hunt
University of Texas at Austin United States of America
hardware verification
automated theorem-proving
program verification
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
Jeroen Keiren
Eindhoven University of Technology Belgium
hardware verification
software verification
model checking
View Professor Profile
Professor
Professor Profile
Chen-wei Wang
York University Canada
automated model-based verification
using model checking to verify real-time systems
using theorem proving to verify function block based systems
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
Andrew Appel
Princeton University United States of America
machine-checked proofs
program verification
View Professor Profile
Professor
Professor Profile
Francois Dupressoir
University of Bristol United Kingdom
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
Ronghui Gu
Columbia University United States of America
proof automation
systems verification
View Professor Profile
Professor
Professor Profile
Herman Geuvers
Radboud University Netherlands
proof assistants
software verification
View Professor Profile
Professor
Professor Profile
Sofiène Tahar
Concordia University Canada
hardware verification
theorem proving
View Professor Profile
Professor
Professor Profile
David Dill
Stanford University United States of America
hardware verification
software verification
View Professor Profile
Professor
Professor Profile
Andrzej Murawski
University of Oxford United Kingdom
automated 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
Ronghui Gu
Columbia University United States of America
proof engineering
software verification
View Professor Profile
Professor
Professor Profile
Otmane Ait Mohamed
Concordia University Canada
hardware verification
model checking
View Professor Profile
Professor
Professor Profile
Robert Boyer
University of Texas at Austin United States of America
automated theorem proving
automated reasoning
View Professor Profile
First
Prev
Page 1 | 6785 Results
Next