Mechanized Proofs Professors in Global

Search By
Location
Location
Searching Globally
Professor
Professor Profile
Revantha Ramanayake
University of Groningen Netherlands
automated theorem proving
proof assistants
proof theory
View Professor Profile
Professor
Professor Profile
Magnus Myréen
University of Gothenburg Sweden
theorem proving
proof logging
automated reasoning
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
Marsha Rosengarten
King's College London United Kingdom
mechanistic thought
mechanistic time
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
Professor
Professor Profile
Floris Van Doorn
University of Bonn Germany
proof assistants
formalized mathematics
View Professor Profile
Professor
Professor Profile
Sander Dahmen
Vrije Universiteit Amsterdam Netherlands
proof assistants
formalized mathematics
View Professor Profile
Professor
Professor Profile
Alexander Gheorghiu
University of Southampton United Kingdom
proof theory
automated reasoning
View Professor Profile
Professor
Professor Profile
Jeremy Avigad
Carnegie Mellon University United States of America
proof theory
automated reasoning
View Professor Profile
Professor
Professor Profile
Mateja Jamnik
University of Cambridge United Kingdom
theorem proving
automated reasoning
View Professor Profile
Professor
Professor Profile
Mateja Jamnik
University of Cambridge United Kingdom
theorem proving
automated reasoning
View Professor Profile
Professor
Professor Profile
Stephen Cook
University of Toronto Canada
proof complexity
randomized algorithms
View Professor Profile
Professor
Professor Profile
Johannes Pohjola
University of Gothenburg Sweden
verified computation
automated reasoning
View Professor Profile
Professor
Professor Profile
Alberto Lluch Lafuente
Technical University of Denmark Denmark
automated reasoning
randomized algorithms
View Professor Profile
Professor
Professor Profile
Christoph Matheja
Technical University of Denmark Denmark
automated reasoning
randomized algorithms
View Professor Profile
Professor
Professor Profile
Oliver Bøving
Technical University of Denmark Denmark
automated reasoning
randomized algorithms
View Professor Profile
Professor
Professor Profile
Kuldeep Meel
Georgia Institute of Technology United States of America
automated reasoning
randomized algorithms
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
First
Prev
Page 1 | 272 Results
Next