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 Parker
University of Oxford United Kingdom
automated verification
probabilistic verification
verification
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
Denise Woit
Toronto Metropolitan University Canada
software verification
validation
software testing
View Professor Profile
Professor
Professor Profile
Lionel Briand
University of Ottawa Canada
software verification
validation
trustworthy artificial intelligence
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
Sicco Verwer
Delft University of Technology Netherlands
algorithms
automated software testing
machine learning
View Professor Profile
Professor
Professor Profile
Xujie Si
University of Toronto Canada
automated software verification
verification
machine learning
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
Sean Chester
Aarhus University Denmark
algorithms
design and analysis of 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
George Papavassilopoulos
University of Southern California United States of America
genetic algorithms
optimization algorithms
parallel algorithms
View Professor Profile
Professor
Professor Profile
Clare Dixon
University of Manchester United Kingdom
specification verification
theorem-proving
verification
View Professor Profile
Professor
Professor Profile
Gara Pruesse
Vancouver Island University Canada
optimization algorithms
approximation algorithms
discrete algorithms
View Professor Profile
Professor
Professor Profile
Nicklas Werge
University of Southern Denmark Denmark
optimization algorithms
online algorithms
machine learning
View Professor Profile
Professor
Professor Profile
Susanne Albers
Technical University of Munich Germany
efficient algorithms
algorithm engineering
online approximation algorithms
View Professor Profile
Professor
Professor Profile
Daniel Dig
University of Illinois United States of America
validation
verification
software testing
View Professor Profile
First
Prev
Page 1 | 8686 Results
Next