Proof Automation Professors in Global

Search By
Location
Location
Searching Globally
Professor
Professor Profile
Revantha Ramanayake
University of Groningen Netherlands
proof assistants
automated theorem proving
proof theory
View Professor Profile
Professor
Professor Profile
Andrzej Murawski
University of Oxford United Kingdom
automated verification
automata theory
software verification
View Professor Profile
Professor
Professor Profile
Leslie Willcocks
London School of Economics and Political Science United Kingdom
cognitive automation
robotic process automation
service automation
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
Jianzhong He
Singapore Management University Singapore
intelligent automation
robotic process automation
machine learning
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
Mateja Jamnik
University of Cambridge United Kingdom
automated reasoning
theorem proving
machine learning
View Professor Profile
Professor
Professor Profile
Mateja Jamnik
University of Cambridge United Kingdom
automated reasoning
theorem proving
machine learning
View Professor Profile
Professor
Professor Profile
Assia Mahboubi
Inria France
mathematical proofs
automated verification
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
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
Aina Niemetz
Stanford University United States of America
automated testing
automated reasoning
View Professor Profile
Professor
Professor Profile
Herman Geuvers
Radboud University Netherlands
proof assistants
software verification
View Professor Profile
Professor
Professor Profile
Curtis Bright
University of Windsor Canada
computer-assisted proofs
automated reasoning
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
Sebastian Schrøder
Aalborg University Denmark
automation
production automation
View Professor Profile
Professor
Professor Profile
Martin Fabian
Chalmers University of Technology Sweden
automation
intelligent automation
View Professor Profile
Professor
Professor Profile
Morten Kristiansen
Aalborg University Denmark
process automation
industrial automation
View Professor Profile
Professor
Professor Profile
David Parker
University of Oxford United Kingdom
automated verification
probabilistic verification
View Professor Profile
Professor
Professor Profile
Michalis Kokologiannakis
Max Planck Institute for Software Systems Germany
automated verification testing
software verification
View Professor Profile
First
Prev
Page 1 | 7806 Results
Next