Theorem Proving Professors in Global

Search By
Location
Location
Searching Globally
Professor
Professor Profile
Mateja Jamnik
University of Cambridge United Kingdom
theorem proving
diagrammatic reasoning
machine learning
automated reasoning
View Professor Profile
Professor
Professor Profile
Mateja Jamnik
University of Cambridge United Kingdom
theorem proving
diagrammatic reasoning
machine learning
automated reasoning
View Professor Profile
Professor
Professor Profile
Satish Thittamaranahalli
University of Southern California United States of America
probabilistic reasoning
model-based reasoning
constraint reasoning
machine learning
View Professor Profile
Professor
Professor Profile
Satish Thittamaranahalli
University of Southern California United States of America
probabilistic reasoning
model-based reasoning
constraint reasoning
machine learning
View Professor Profile
Professor
Professor Profile
Victor Panaretos
École Polytechnique Fédérale de Lausanne Switzerland
statistical theory
probability theory
statistical inference
regression modeling
View Professor Profile
Professor
Professor Profile
Oliver Ray
University of Bristol United Kingdom
abductive reasoning
inductive reasoning
machine learning
scientific inference
View Professor Profile
Professor
Professor Profile
Thomas Icard
Stanford University United States of America
probabilistic reasoning
machine learning
automated reasoning
causal inference
View Professor Profile
Professor
Professor Profile
Jaehee Kim
Cornell University Netherlands
mathematical models
statistical inference
machine learning
bayesian inference
View Professor Profile
Professor
Professor Profile
Abhishek Chakrabortty
Texas A&M University United States of America
statistical inference
machine learning
bayesian inference
causal inference
View Professor Profile
Professor
Professor Profile
Rajesh Ranganath
New York University United States of America
statistical inference
machine learning
causal inference
probabilistic inference
View Professor Profile
Professor
Professor Profile
Sergei Gukov
California Institute of Technology United States of America
automated theorem proving
machine learning
mathematics
View Professor Profile
Professor
Professor Profile
Richard Statman
Carnegie Mellon University United States of America
proof theory
theory of computation
mathematical logic
View Professor Profile
Professor
Professor Profile
Bahareh Afshari
University of Gothenburg Sweden
proof theory
mathematical logic
theoretical computer science
View Professor Profile
Professor
Professor Profile
Sebastiaan Terwijn
Radboud University Netherlands
proof theory
mathematical logic
theoretical computer science
View Professor Profile
Professor
Professor Profile
Alexander Gheorghiu
University of Southampton United Kingdom
proof theory
mathematical logic
automated reasoning
View Professor Profile
Professor
Professor Profile
Jeremy Avigad
Carnegie Mellon University United States of America
proof theory
mathematical logic
automated reasoning
View Professor Profile
Professor
Professor Profile
Jaime Ide
Yale University United States of America
theoretical modeling
machine learning
predictive modeling
View Professor Profile
Professor
Professor Profile
Adam Klivans
University of Texas at Austin United States of America
limit theorems
learning theory
machine learning
View Professor Profile
Professor
Professor Profile
Adam Klivans
University of Texas at Austin United States of America
limit theorems
learning theory
machine learning
View Professor Profile
Professor
Professor Profile
Percy Liang
Stanford University United States of America
reasoning
learning theory
machine learning
View Professor Profile
Professor
Professor Profile
Filip Rindler
University of Warwick United Kingdom
theoretical mathematics
mathematical analysis
applied mathematics
View Professor Profile
First
Prev
Page 1 | 13165 Results
Next