Automatic Theorem Proving Professors in Global

Search By
Location
Location
Searching Globally
Professor
Professor Profile
Mateja Jamnik
University of Cambridge United Kingdom
theorem proving
automated reasoning
machine learning
View Professor Profile
Professor
Professor Profile
Mateja Jamnik
University of Cambridge United Kingdom
theorem proving
automated reasoning
machine learning
View Professor Profile
Professor
Professor Profile
Holger Hoos
RWTH Aachen University Germany
automated reasoning
automated machine learning
machine learning
View Professor Profile
Professor
Professor Profile
Vijay Ganesh
Georgia Institute of Technology United States of America
automated reasoning
automated scientific discovery
machine learning
View Professor Profile
Professor
Professor Profile
Assia Mahboubi
Inria France
automated verification
mathematical proofs
computer-aided mathematics
View Professor Profile
Professor
Professor Profile
Moez Ali
Queen's University Canada
automated machine learning
automated modeling
machine learning
View Professor Profile
Professor
Professor Profile
David Van Leeuwen
Radboud University Netherlands
automatic speech recognition
automatic language recognition
automatic speaker recognition
View Professor Profile
Professor
Professor Profile
Steven Kelk
Maastricht University Netherlands
computational proof
proof assistants
algorithmic graph theory
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
J Moore
University of Texas at Austin United States of America
automatic theorem proving
application proving properties
View Professor Profile
Professor
Professor Profile
Revantha Ramanayake
University of Groningen Netherlands
automated theorem proving
proof assistants
View Professor Profile
Professor
Professor Profile
Victor Adamchik
University of Southern California United States of America
automated theorem proving
algorithm analysis
View Professor Profile
Professor
Professor Profile
Sergei Gukov
California Institute of Technology United States of America
automated theorem proving
machine learning
View Professor Profile
Professor
Professor Profile
Magnus Myréen
University of Gothenburg Sweden
theorem proving
automated reasoning
View Professor Profile
Professor
Professor Profile
Chen-wei Wang
York University Canada
theorem proving
automated model-based verification
View Professor Profile
Professor
Professor Profile
Paola Iannone
University of Edinburgh United Kingdom
automated theorem provers
mathematical reasoning
View Professor Profile
Professor
Professor Profile
Matthew Daggitt
University of Western Australia Australia
automated reasoning
theorem provers
View Professor Profile
Professor
Professor Profile
Curtis Bright
University of Windsor Canada
automated reasoning
computer-assisted proofs
View Professor Profile
Professor
Professor Profile
Aina Niemetz
Stanford University United States of America
automated reasoning
automated testing
View Professor Profile
Professor
Professor Profile
Ekaterina Komendantskaya
University of Southampton United Kingdom
theorem proving
machine learning
View Professor Profile
Professor
Professor Profile
Arie Gurfinkel
University of Waterloo Canada
automated reasoning
automated program analysis
View Professor Profile
First
Prev
Page 1 | 8457 Results
Next