Automated Deduction Professors in Global

Search By
Location
Location
Searching Globally
Professor
Professor Profile
Moez Ali
Queen's University Canada
automated machine learning
automated modeling
View Professor Profile
Professor
Professor Profile
Holger Hoos
RWTH Aachen University Germany
automated machine learning
automated reasoning
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
Jun Ueda
Georgia Institute of Technology United States of America
automatic control
automation
View Professor Profile
Professor
Professor Profile
Charles Gretton
Australian National University Australia
automated reasoning
automated planning
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
Martin Fabian
Chalmers University of Technology Sweden
automation
intelligent automation
View Professor Profile
Professor
Professor Profile
Sebastian Schrøder
Aalborg University Denmark
automation
production automation
View Professor Profile
Professor
Professor Profile
Sinisa Colic
University of Toronto Canada
automation
applied machine learning
View Professor Profile
Professor
Professor Profile
Andrzej Murawski
University of Oxford United Kingdom
automated verification
automata theory
View Professor Profile
Professor
Professor Profile
Uli Sattler
University of Manchester United Kingdom
automated deduction
View Professor Profile
Professor
Professor Profile
Jürgen Giesl
RWTH Aachen University Germany
automated deduction
View Professor Profile
Professor
Professor Profile
Thomas Wies
New York University United States of America
automated deduction
View Professor Profile
Professor
Professor Profile
Frank Pfenning
Carnegie Mellon University United States of America
automated deduction
View Professor Profile
Professor
Professor Profile
Sigrid Brell-cokcan
RWTH Aachen University Germany
automated deconstruction
View Professor Profile
Professor
Professor Profile
Libby Gerard
University of California, Berkeley United States of America
automated assessment
View Professor Profile
Professor
Professor Profile
Marcus Messer
King's College London United Kingdom
automated assessment
View Professor Profile
Professor
Professor Profile
Johannes Steinrücke
University of Twente Netherlands
automated assessment
View Professor Profile
Professor
Professor Profile
Lynn Raymond
University of British Columbia Canada
automated assessment
View Professor Profile
Professor
Professor Profile
Morten Sørensen
University of Copenhagen Denmark
partial deduction
View Professor Profile
First
Prev
Page 1 | 709 Results
Next