Automated Theorem Provers Professors in Global

Search By
Location
Location
Searching Globally
Professor
Professor Profile
David Van Leeuwen
Radboud University Netherlands
automatic speech recognition
automatic speaker recognition
automatic language recognition
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
Revantha Ramanayake
University of Groningen Netherlands
automated theorem proving
proof assistants
View Professor Profile
Professor
Professor Profile
Matthew Daggitt
University of Western Australia Australia
theorem provers
automated reasoning
View Professor Profile
Professor
Professor Profile
Holger Hoos
RWTH Aachen University Germany
automated machine learning
automated reasoning
View Professor Profile
Professor
Professor Profile
Aina Niemetz
Stanford University United States of America
automated reasoning
automated testing
View Professor Profile
Professor
Professor Profile
Vijay Ganesh
Georgia Institute of Technology United States of America
automated reasoning
automated scientific discovery
View Professor Profile
Professor
Professor Profile
Mateja Jamnik
University of Cambridge United Kingdom
automated reasoning
theorem proving
View Professor Profile
Professor
Professor Profile
Magnus Myréen
University of Gothenburg Sweden
automated reasoning
theorem proving
View Professor Profile
Professor
Professor Profile
Mateja Jamnik
University of Cambridge United Kingdom
automated reasoning
theorem proving
View Professor Profile
Professor
Professor Profile
Moez Ali
Queen's University Canada
automated machine learning
automated modeling
View Professor Profile
Professor
Professor Profile
Curtis Bright
University of Windsor Canada
automated reasoning
computer-assisted proofs
View Professor Profile
Professor
Professor Profile
Andrzej Murawski
University of Oxford United Kingdom
automated verification
automata theory
View Professor Profile
Professor
Professor Profile
Paola Iannone
University of Edinburgh United Kingdom
automated theorem provers
View Professor Profile
Professor
Professor Profile
Pavel Naumov
University of Southampton United Kingdom
automated theorem proving
View Professor Profile
Professor
Professor Profile
Victor Adamchik
University of Southern California United States of America
automated theorem proving
View Professor Profile
Professor
Professor Profile
Alwen Tiu
Australian National University Australia
automated theorem proving
View Professor Profile
Professor
Professor Profile
Lawrence Paulson
University of Cambridge United Kingdom
automated theorem proving
View Professor Profile
Professor
Professor Profile
James Cheney
University of Edinburgh United Kingdom
automated theorem proving
View Professor Profile
Professor
Professor Profile
Sergei Gukov
California Institute of Technology United States of America
automated theorem proving
View Professor Profile
Professor
Professor Profile
Tjark Weber
Uppsala University Sweden
automated interactive theorem proving
View Professor Profile
First
Prev
Page 1 | 427 Results
Next