Theorem Provers Professors in Global

Search By
Location
Location
Searching Globally
Professor
Professor Profile
Revantha Ramanayake
University of Groningen Netherlands
automated theorem proving
proof theory
proof assistants
View Professor Profile
Professor
Professor Profile
Magnus Myréen
University of Gothenburg Sweden
theorem proving
proof logging
View Professor Profile
Professor
Professor Profile
Steven Kelk
Maastricht University Netherlands
proof assistants
computational proof
View Professor Profile
Professor
Professor Profile
Thomas Sewell
University of New South Wales Australia
theorem proving
View Professor Profile
Professor
Professor Profile
Ekaterina Komendantskaya
University of Southampton United Kingdom
theorem proving
View Professor Profile
Professor
Professor Profile
Mateja Jamnik
University of Cambridge United Kingdom
theorem proving
View Professor Profile
Professor
Professor Profile
Elias Castegren
Uppsala University Sweden
theorem proving
View Professor Profile
Professor
Professor Profile
Mateja Jamnik
University of Cambridge United Kingdom
theorem proving
View Professor Profile
Professor
Professor Profile
David Aspinall
University of Edinburgh United Kingdom
theorem proving
View Professor Profile
Professor
Professor Profile
Sofiène Tahar
Concordia University Canada
theorem proving
View Professor Profile
Professor
Professor Profile
Chen-wei Wang
York University Canada
theorem proving
View Professor Profile
Professor
Professor Profile
Clare Dixon
University of Manchester United Kingdom
theorem-proving
View Professor Profile
Professor
Professor Profile
Athina Thoma
University of Southampton United Kingdom
interactive theorem provers
View Professor Profile
Professor
Professor Profile
Karl Palmskog
KTH Royal Institute of Technology Sweden
interactive theorem provers
View Professor Profile
Professor
Professor Profile
Mohammad Abdulaziz
King's College London United Kingdom
interactive theorem provers
View Professor Profile
Professor
Professor Profile
Michael Borkowski
Purdue University United States of America
interactive theorem provers
View Professor Profile
Professor
Professor Profile
Paola Iannone
University of Edinburgh United Kingdom
automated theorem provers
View Professor Profile
Professor
Professor Profile
Alex Kavvos
University of Bristol United Kingdom
proofs
View Professor Profile
Professor
Professor Profile
Hanno Nickau
University of Oxford United Kingdom
proofs
View Professor Profile
Professor
Professor Profile
Pavel Naumov
University of Southampton United Kingdom
automated theorem proving
View Professor Profile
Professor
Professor Profile
Robert Boyer
University of Texas at Austin United States of America
automated theorem proving
View Professor Profile
First
Prev
Page 1 | 71 Results
Next