Proofs Professors in Global

Search By
Location
Location
Searching Globally
Professor
Professor Profile
Andreas Stylianides
University of Cambridge United Kingdom
proving
mathematical reasoning
problem solving
View Professor Profile
Professor
Professor Profile
Revantha Ramanayake
University of Groningen Netherlands
proof theory
proof assistants
View Professor Profile
Professor
Professor Profile
Steven Kelk
Maastricht University Netherlands
proof assistants
computational proof
View Professor Profile
Professor
Professor Profile
Magnus Myréen
University of Gothenburg Sweden
proof logging
theorem proving
View Professor Profile
Professor
Professor Profile
Philippe Richard
Université de Montréal Canada
proof strategies
problem solving
View Professor Profile
Professor
Professor Profile
Guershon Harel
University of California, San Diego United States of America
proving
mathematical reasoning
View Professor Profile
Professor
Professor Profile
Ran Raz
Weizmann Institute of Science Israel
probabilistically checkable proofs
propositional proof theory
View Professor Profile
Professor
Professor Profile
Ran Raz
Princeton University United States of America
probabilistically checkable proofs
propositional proof theory
View Professor Profile
Professor
Professor Profile
Steven Goode
University of Texas at Austin United States of America
evidence
jurisprudence
View Professor Profile
Professor
Professor Profile
Findlay Stark
University of Cambridge United Kingdom
evidence
jurisprudence
View Professor Profile
Professor
Professor Profile
Ryan O'donnell
Carnegie Mellon University United States of America
proof complexity
algorithms
View Professor Profile
Professor
Professor Profile
Shuo Pang
University of Bristol United Kingdom
proof complexity
algorithms
View Professor Profile
Professor
Professor Profile
Avi Wigderson
Institute for Advanced Study United States of America
proof complexity
algorithms
View Professor Profile
Professor
Professor Profile
Kimberly Ferzan
University of Pennsylvania United States of America
evidence
jurisprudence
View Professor Profile
Professor
Professor Profile
Kareen Rozen
Brown University United States of America
experiments
theory
View Professor Profile
Professor
Professor Profile
Nicholas Spooner
Cornell University Netherlands
probabilistic proof systems
zero-knowledge proofs
View Professor Profile
Professor
Professor Profile
Tim French
University of Western Australia Australia
reasoning
algorithms
View Professor Profile
Professor
Professor Profile
Minna Gräns
Uppsala University Sweden
evaluation of evidence
rules of burden of proof
View Professor Profile
Professor
Professor Profile
Yvette Linders
Radboud University Netherlands
argumentation
persuasion
View Professor Profile
Professor
Professor Profile
Hans Hoeken
Utrecht University Netherlands
argumentation
persuasion
View Professor Profile
Professor
Professor Profile
Frederick Britt
University of Bern Switzerland
justification
explanations
View Professor Profile
First
Prev
Page 1 | 1437 Results
Next