Automatic Deduction Professors in Global

Search By
Location
Location
Searching Globally
Professor
Professor Profile
Jun Ueda
Georgia Institute of Technology United States of America
automatic control
automation
View Professor Profile
Professor
Professor Profile
Gerald Penn
University of Toronto Canada
automatic translation
automatic text processing
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
Ken Mcmillan
University of Texas at Austin United States of America
automated abstraction
deductive verification
View Professor Profile
Professor
Professor Profile
Moez Ali
Queen's University Canada
automated machine learning
automated modeling
View Professor Profile
Professor
Professor Profile
David Van Leeuwen
Radboud University Netherlands
automatic speech recognition
automatic language recognition
View Professor Profile
Professor
Professor Profile
Arie Gurfinkel
University of Waterloo Canada
automated reasoning
automated program analysis
View Professor Profile
Professor
Professor Profile
Holger Hoos
RWTH Aachen University Germany
automated machine learning
automated reasoning
View Professor Profile
Professor
Professor Profile
Myrto Arapinis
University of Edinburgh United Kingdom
automatic deduction
View Professor Profile
Professor
Professor Profile
Thomas Wies
New York University United States of America
automated deduction
View Professor Profile
Professor
Professor Profile
Uli Sattler
University of Manchester United Kingdom
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
Jürgen Giesl
RWTH Aachen University Germany
automated deduction
View Professor Profile
Professor
Professor Profile
Chris Sangwin
University of Edinburgh United Kingdom
automatic assessment
View Professor Profile
Professor
Professor Profile
Simeon Smeele
Aarhus University Denmark
automatic detection
View Professor Profile
Professor
Professor Profile
Xiangyu Zhang
Purdue University United States of America
automatic debugging
View Professor Profile
Professor
Professor Profile
Morten Sørensen
University of Copenhagen Denmark
partial deduction
View Professor Profile
Professor
Professor Profile
Mehran Mesbahi
University of Washington United States of America
automatic control
View Professor Profile
Professor
Professor Profile
Giancarlo Ferrari Trecate
École Polytechnique Fédérale de Lausanne Switzerland
automatic control
View Professor Profile
Professor
Professor Profile
Kjell Karlsson
Linköping University Sweden
automatic control
View Professor Profile
Professor
Professor Profile
Giuseppe Belgioioso
KTH Royal Institute of Technology Sweden
automatic control
View Professor Profile
First
Prev
Page 1 | 400 Results
Next