Formal Proof Theory Professors in Global

Search By
Location
Location
Searching Globally
Professor
Professor Profile
Jeremy Avigad
Carnegie Mellon University United States of America
proof theory
formal verification
View Professor Profile
Professor
Professor Profile
Jaco Van De Pol
Aarhus University Denmark
formal verification
formal methods
View Professor Profile
Professor
Professor Profile
Roberto Guanciale
KTH Royal Institute of Technology Sweden
formal verification
formal methods
View Professor Profile
Professor
Professor Profile
Fabrizio Montesi
University of Southern Denmark Denmark
formal models
formal methods
View Professor Profile
Professor
Professor Profile
Michael Norrish
Australian National University Australia
formal semantics
formal methods
View Professor Profile
Professor
Professor Profile
Ran Raz
Weizmann Institute of Science Israel
propositional proof theory
probabilistically checkable proofs
View Professor Profile
Professor
Professor Profile
Ran Raz
Princeton University United States of America
propositional proof theory
probabilistically checkable proofs
View Professor Profile
Professor
Professor Profile
Ronghui Gu
Columbia University United States of America
formal semantics
proof engineering
View Professor Profile
Professor
Professor Profile
Alan Hu
University of British Columbia Canada
formal methods
automated formal verification
View Professor Profile
Professor
Professor Profile
Ai Taniguchi
University of Toronto Canada
formal semantics
formal pragmatics
View Professor Profile
Professor
Professor Profile
Dimitra Lazaridou-chatzigoga
University of Cambridge United Kingdom
formal semantics
formal experimental pragmatics
View Professor Profile
Professor
Professor Profile
Eddo Rigotti
Università della Svizzera italiana Switzerland
formal linguistics
argumentation theory
View Professor Profile
Professor
Professor Profile
Magnus Myréen
University of Gothenburg Sweden
formal methods
theorem proving
View Professor Profile
Professor
Professor Profile
Kevin Kelly
Carnegie Mellon University United States of America
formal epistemology
learning theory
View Professor Profile
Professor
Professor Profile
Sofiène Tahar
Concordia University Canada
formal methods
theorem proving
View Professor Profile
Professor
Professor Profile
Ken Mcmillan
University of Texas at Austin United States of America
formal methods
deductive verification
View Professor Profile
Professor
Professor Profile
Adam Slavny
University of Warwick United Kingdom
normative theory
legal theory
View Professor Profile
Professor
Professor Profile
Ryan O'donnell
Carnegie Mellon University United States of America
proof complexity
learning theory
View Professor Profile
Professor
Professor Profile
George Tsiknis
University of British Columbia Canada
formal proof theory
View Professor Profile
Professor
Professor Profile
Kevin Buzzard
Imperial College London United Kingdom
formal proof verification
View Professor Profile
Professor
Professor Profile
Alexander Hirsch
California Institute of Technology United States of America
formal theory
View Professor Profile
First
Prev
Page 1 | 845 Results
Next