Theorem Proving Systems Professors in Global

Showing 21 of 10,313 results Data last updated:

Search By
Location
Location
Searching Globally
Professor
Angelica Aviles Rivero Professor Profile

Angelica Aviles Rivero

University of Cambridge United Kingdom
mathematical modelling
machine learning
data-driven algorithms
computational mathematics
View Professor Profile
Professor

Revantha Ramanayake

University of Groningen Netherlands
automated theorem proving
proof theory
proof assistants
View Professor Profile
Professor
Christos Kozyrakis Professor Profile

Christos Kozyrakis

Stanford University United States of America
machine learning systems
computer systems
machine learning
View Professor Profile
Professor

Jaime Ide

Yale University United States of America
theoretical modeling
predictive modeling
machine learning
View Professor Profile
Professor
Alan Yuille Professor Profile

Alan Yuille

Johns Hopkins University United States of America
mathematical models
computational models
machine learning
View Professor Profile
Professor
Nick Harvey Professor Profile

Nick Harvey

University of British Columbia Canada
theoretical machine learning
mathematical programming
algorithms
View Professor Profile
Professor

Yun Cheung

Australian National University Australia
theory of computation
machine learning
algorithms
View Professor Profile
Professor
Jessica Sorrell Professor Profile

Jessica Sorrell

Johns Hopkins University United States of America
machine learning theory
machine learning algorithms
machine learning
View Professor Profile
Professor
Sebastiaan Terwijn Professor Profile

Sebastiaan Terwijn

Radboud University Netherlands
proof theory
theoretical computer science
computational learning theory
View Professor Profile
Professor

Reddy Lab

Princeton University United States of America
learning in artificial systems
learning in natural systems
machine learning
View Professor Profile
Professor

Tim French

University of Western Australia Australia
verification systems
probabilistic reasoning
algorithms
View Professor Profile
Professor
Kash Khorasani Professor Profile

Kash Khorasani

Concordia University Canada
real-time systems
modeling large scale systems
neural networks
View Professor Profile
Professor
Stephen Hanneke Professor Profile

Stephen Hanneke

Purdue University United States of America
theory of computing
machine learning
algorithms
View Professor Profile
Professor
Jeffrey Lagarias Professor Profile

Jeffrey Lagarias

University of Michigan United States of America
theoretical computer science
number theory
mathematical optimization
View Professor Profile
Professor
Brian Bullins Professor Profile

Brian Bullins

Purdue University United States of America
theory of computing
machine learning
algorithms
View Professor Profile
Professor
Adam Klivans Professor Profile

Adam Klivans

University of Texas at Austin United States of America
learning theory
limit theorems
machine learning
View Professor Profile
Professor
Andrey Feuerverger Professor Profile

Andrey Feuerverger

University of Toronto Canada
theoretical statistics
statistical theory
machine learning
View Professor Profile
Professor

Aaron Roth

University of Pennsylvania United States of America
learning theory
machine learning
algorithms
View Professor Profile
Professor
Ryan O'donnell Professor Profile

Ryan O'donnell

Carnegie Mellon University United States of America
learning theory
algorithms
probability theory
View Professor Profile
Professor
Sandra Zilles Professor Profile

Sandra Zilles

University of Regina Canada
theoretical computer science
machine learning
computational learning theory
View Professor Profile
Professor
Jane Hillston Professor Profile

Jane Hillston

University of Edinburgh United Kingdom
theoretical computer science
computer systems
machine learning
View Professor Profile
First
Prev
Page 1 | 10313 Results
Next