RenderTime: 6/15/2026, 9:27:08 AM
Services
Find professor
Find position
Find Student
SOP Builder
Language Exam preparation
Help and resources
Blog
Tutorial
How it work
Our company
About Us
Contact Us
Log in
Register
Home
Professors
Automatic Theorem Proving
Automatic Theorem Proving Professors in Global
Professors
Students
Positions
Search By
All
My Interests
Custom
Location
Global
Country
University
Location
Searching Globally
Professor
Mateja Jamnik
University of Cambridge
United Kingdom
theorem proving
automated reasoning
machine learning
View Professor Profile
Professor
Mateja Jamnik
University of Cambridge
United Kingdom
theorem proving
automated reasoning
machine learning
View Professor Profile
Professor
Holger Hoos
RWTH Aachen University
Germany
automated reasoning
automated machine learning
machine learning
View Professor Profile
Professor
Vijay Ganesh
Georgia Institute of Technology
United States of America
automated reasoning
automated scientific discovery
machine learning
View Professor Profile
Professor
Moez Ali
Queen's University
Canada
automated machine learning
automated modeling
machine learning
View Professor Profile
Professor
Assia Mahboubi
Inria
France
automated verification
mathematical proofs
computer-aided mathematics
View Professor Profile
Professor
David Van Leeuwen
Radboud University
Netherlands
automatic speech recognition
automatic language recognition
automatic speaker recognition
View Professor Profile
Professor
Steven Kelk
Maastricht University
Netherlands
computational proof
proof assistants
algorithmic graph theory
View Professor Profile
Professor
Robert Boyer
University of Texas at Austin
United States of America
automated theorem proving
automated reasoning
View Professor Profile
Professor
Revantha Ramanayake
University of Groningen
Netherlands
automated theorem proving
proof assistants
View Professor Profile
Professor
Victor Adamchik
University of Southern California
United States of America
automated theorem proving
algorithm analysis
View Professor Profile
Professor
Sergei Gukov
California Institute of Technology
United States of America
automated theorem proving
machine learning
View Professor Profile
Professor
Magnus Myréen
University of Gothenburg
Sweden
theorem proving
automated reasoning
View Professor Profile
Professor
Paola Iannone
University of Edinburgh
United Kingdom
automated theorem provers
mathematical reasoning
View Professor Profile
Professor
Curtis Bright
University of Windsor
Canada
automated reasoning
computer-assisted proofs
View Professor Profile
Professor
Aina Niemetz
Stanford University
United States of America
automated reasoning
automated testing
View Professor Profile
Professor
Ekaterina Komendantskaya
University of Southampton
United Kingdom
theorem proving
machine learning
View Professor Profile
Professor
Andrzej Murawski
University of Oxford
United Kingdom
automated verification
automata theory
View Professor Profile
Professor
Chris Sangwin
University of Edinburgh
United Kingdom
automatic assessment
mathematical problem solving
View Professor Profile
Professor
Thomas Icard
Stanford University
United States of America
automated reasoning
machine learning
View Professor Profile
Professor
Mukund Raghothaman
University of Southern California
United States of America
automated reasoning
machine learning
View Professor Profile
Sign in to continue
Log in or register to unlock all features and see all professors.
Log in
Register
First
Prev
Page 1
|
8289 Results
Next