Automatic Verification Professors in Global

Search By
Location
Location
Searching Globally
Professor
Professor Profile
David Parker
University of Oxford United Kingdom
automated verification
verification
probabilistic verification
View Professor Profile
Professor
Professor Profile
Xujie Si
University of Toronto Canada
automated software verification
verification
artificial intelligence
View Professor Profile
Professor
Professor Profile
Jamal Bentahar
Concordia University Canada
automatic verification
validation
artificial intelligence
View Professor Profile
Professor
Professor Profile
David Dill
Stanford University United States of America
software verification
hardware verification
formal verification
View Professor Profile
Professor
Professor Profile
Kerstin Eder
University of Bristol United Kingdom
verification
formal verification
validation
View Professor Profile
Professor
Professor Profile
Viktor Kuncak
École Polytechnique Fédérale de Lausanne Switzerland
system verification
formal verification
automated reasoning
View Professor Profile
Professor
Professor Profile
Warren Hunt
University of Texas at Austin United States of America
program verification
hardware verification
automated theorem-proving
View Professor Profile
Professor
Professor Profile
Clark Barrett
Stanford University United States of America
software verification
hardware verification
automated reasoning
View Professor Profile
Professor
Professor Profile
Viktor Kuncak
École Polytechnique Fédérale de Lausanne Switzerland
systems verification
formal verification
automated reasoning
View Professor Profile
Professor
Professor Profile
Yvan Labiche
Carleton University Canada
software verification
software validation
artificial intelligence
View Professor Profile
Professor
Professor Profile
Chen-wei Wang
York University Canada
automated model-based verification
formal validation
using model checking to verify real-time systems
View Professor Profile
Professor
Professor Profile
Gerald Penn
University of Toronto Canada
automatic text processing
automatic translation
artificial intelligence
View Professor Profile
Professor
Professor Profile
David Van Leeuwen
Radboud University Netherlands
automatic language recognition
automatic speech recognition
automatic speaker recognition
View Professor Profile
Professor
Professor Profile
Tim French
University of Western Australia Australia
verification systems
automated reasoning
artificial intelligence
View Professor Profile
Professor
Professor Profile
Holger Hoos
RWTH Aachen University Germany
automated machine learning
automated reasoning
artificial intelligence
View Professor Profile
Professor
Professor Profile
Moez Ali
Queen's University Canada
automated machine learning
automated modeling
artificial intelligence
View Professor Profile
Professor
Professor Profile
Vijay Ganesh
Georgia Institute of Technology United States of America
automated reasoning
automated scientific discovery
artificial intelligence
View Professor Profile
Professor
Professor Profile
Andrzej Murawski
University of Oxford United Kingdom
automated verification
software verification
View Professor Profile
Professor
Professor Profile
Michalis Kokologiannakis
Max Planck Institute for Software Systems Germany
automated verification testing
software verification
View Professor Profile
Professor
Professor Profile
Alessandro Abate
University of Oxford United Kingdom
automated verification
artificial intelligence
View Professor Profile
Professor
Professor Profile
Kerstin Eder
University of Bristol United Kingdom
verification
validation
View Professor Profile
First
Prev
Page 1 | 5549 Results
Next