Certifying Algorithms Professors in Global

Showing 21 of 7,867 results Data last updated:

Search By
Location
Location
Searching Globally
Professor

Marc Renault

University of Wisconsin United States of America
search algorithms
analysis of algorithms
approximation algorithms
online algorithms
streaming algorithms
View Professor Profile
Professor
Michalis Kokologiannakis Professor Profile

Michalis Kokologiannakis

Max Planck Institute for Software Systems Germany
software verification
automated verification testing
concurrent programming algorithms
View Professor Profile
Professor
Sandra Kiefer Professor Profile

Sandra Kiefer

University of Oxford United Kingdom
automated verification
algorithms
applications of algorithms
View Professor Profile
Professor
Yvan Labiche Professor Profile

Yvan Labiche

Carleton University Canada
software verification
software validation
software quality assurance
View Professor Profile
Professor
David Parker Professor Profile

David Parker

University of Oxford United Kingdom
automated verification
probabilistic verification
verification
View Professor Profile
Professor
David Dill Professor Profile

David Dill

Stanford University United States of America
software verification
hardware verification
formal verification
View Professor Profile
Professor
Warren Hunt Professor Profile

Warren Hunt

University of Texas at Austin United States of America
program verification
hardware verification
automated theorem-proving
View Professor Profile
Professor
Christian Coester Professor Profile

Christian Coester

University of Oxford United Kingdom
algorithms
online algorithms
learning-augmented algorithms
View Professor Profile
Professor
Anupam Gupta Professor Profile

Anupam Gupta

New York University United States of America
algorithms
approximation algorithms
algorithms in uncertain environments
View Professor Profile
Professor

Srinivasa Gummidi

University of Southern Denmark Denmark
algorithms
optimization algorithms
online algorithms
View Professor Profile
Professor
Sicco Verwer Professor Profile

Sicco Verwer

Delft University of Technology Netherlands
algorithms
automated software testing
machine learning
View Professor Profile
Professor
Xujie Si Professor Profile

Xujie Si

University of Toronto Canada
automated software verification
verification
machine learning
View Professor Profile
Professor
Nima Anari Professor Profile

Nima Anari

Stanford University United States of America
algorithms
sampling algorithms
parallel algorithms
View Professor Profile
Professor
Lionel Briand Professor Profile

Lionel Briand

University of Ottawa Canada
software verification
validation
trustworthy artificial intelligence
View Professor Profile
Professor

Denise Woit

Toronto Metropolitan University Canada
software verification
validation
software testing
View Professor Profile
Professor

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

Sean Chester

Aarhus University Denmark
algorithms
design and analysis of algorithms
parallel algorithms
View Professor Profile
Professor
Danupon Na Nongkai Professor Profile

Danupon Na Nongkai

KTH Royal Institute of Technology Sweden
quantum algorithms
approximation algorithms
verification
View Professor Profile
Professor

George Papavassilopoulos

University of Southern California United States of America
genetic algorithms
optimization algorithms
parallel algorithms
View Professor Profile
Professor

Nicklas Werge

University of Southern Denmark Denmark
optimization algorithms
online algorithms
machine learning
View Professor Profile
Professor
Gara Pruesse Professor Profile

Gara Pruesse

Vancouver Island University Canada
optimization algorithms
approximation algorithms
discrete algorithms
View Professor Profile
First
Prev
Page 1 | 7867 Results
Next