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
Jürgen Giesl
RWTH Aachen University Germany
formal verification
mathematical proofs
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
Michael Norrish
Australian National University Australia
formal semantics
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
Dimitra Lazaridou-chatzigoga
University of Cambridge United Kingdom
formal semantics
formal experimental pragmatics
View Professor Profile
Professor
Professor Profile
Magnus Myréen
University of Gothenburg Sweden
formal methods
theorem proving
View Professor Profile
Professor
Professor Profile
Sofiène Tahar
Concordia University Canada
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
Jun Liu
University of Waterloo Canada
formal methods
learning theory
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
Kevin Buzzard
Imperial College London United Kingdom
formal proof verification
View Professor Profile
Professor
Professor Profile
Karl Niebergall
Topoi Excellence Cluster Germany
formal theories
View Professor Profile
Professor
Professor Profile
Stephen Menn
Topoi Excellence Cluster Germany
formal theories
View Professor Profile
Professor
Professor Profile
Edward Stabler
University of California Los Angeles United States of America
formal language theory
View Professor Profile
Professor
Professor Profile
Gemma Crowe
University of Manchester United Kingdom
formal language theory
View Professor Profile
Professor
Professor Profile
Johanna Björklund
Umeå University Sweden
formal language theory
View Professor Profile
Professor
Professor Profile
Jonathan May
University of Southern California United States of America
formal language theory
View Professor Profile
Professor
Professor Profile
Ian Mcquillan
University of Saskatchewan Canada
formal language theory
View Professor Profile
First
Prev
Page 1 | 823 Results
Next