Certifying Algorithms Professors in Global

Search By
Location
Location
Searching Globally
Professor
Professor Profile
Marc Renault
University of Wisconsin United States of America
search algorithms
analysis of algorithms
approximation algorithms
online algorithms
streaming algorithms
View Professor Profile
Professor
Professor Profile
Michalis Kokologiannakis
Max Planck Institute for Software Systems Germany
software verification
automated verification testing
concurrent programming algorithms
View Professor Profile
Professor
Professor Profile
Sandra Kiefer
University of Oxford United Kingdom
automated verification
algorithms
applications of algorithms
View Professor Profile
Professor
Professor Profile
Yvan Labiche
Carleton University Canada
software verification
software validation
software quality assurance
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
David Parker
University of Oxford United Kingdom
automated verification
probabilistic verification
verification
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
Srinivasa Gummidi
University of Southern Denmark Denmark
algorithms
optimization algorithms
online algorithms
View Professor Profile
Professor
Professor Profile
Christian Coester
University of Oxford United Kingdom
algorithms
online algorithms
learning-augmented algorithms
View Professor Profile
Professor
Professor Profile
Anupam Gupta
New York University United States of America
algorithms
approximation algorithms
algorithms in uncertain environments
View Professor Profile
Professor
Professor Profile
Sicco Verwer
Delft University of Technology Netherlands
algorithms
automated software testing
machine learning
View Professor Profile
Professor
Professor Profile
Lionel Briand
University of Ottawa Canada
software verification
validation
trustworthy artificial intelligence
View Professor Profile
Professor
Professor Profile
Chen-wei Wang
York University Canada
automated model-based verification
product-based software certification
using model checking to verify real-time systems
View Professor Profile
Professor
Professor Profile
Denise Woit
Toronto Metropolitan University Canada
software verification
validation
software testing
View Professor Profile
Professor
Professor Profile
Nima Anari
Stanford University United States of America
algorithms
sampling algorithms
parallel algorithms
View Professor Profile
Professor
Professor Profile
Xujie Si
University of Toronto Canada
automated software verification
verification
machine learning
View Professor Profile
Professor
Professor Profile
Sean Chester
Aarhus University Denmark
algorithms
design and analysis of algorithms
parallel algorithms
View Professor Profile
Professor
Professor Profile
Danupon Na Nongkai
KTH Royal Institute of Technology Sweden
quantum algorithms
approximation algorithms
verification
View Professor Profile
Professor
Professor Profile
George Papavassilopoulos
University of Southern California United States of America
genetic algorithms
optimization algorithms
parallel algorithms
View Professor Profile
Professor
Professor Profile
Debarati Das
Pennsylvania State University United States of America
approximation algorithms
string algorithms
clustering algorithms
View Professor Profile
Professor
Professor Profile
Mohammad Salavatipour
University of Alberta Canada
algorithmics
approximation algorithms
probabilistic randomized algorithms
View Professor Profile
First
Prev
Page 1 | 7858 Results
Next