Formal Proof Verification Professors in Global

Search By
Location
Location
Searching Globally
Professor
Professor Profile
Kerstin Eder
University of Bristol United Kingdom
formal verification
verification
validation
View Professor Profile
Professor
Professor Profile
Jürgen Giesl
RWTH Aachen University Germany
formal verification
program verification
mathematical proofs
View Professor Profile
Professor
Professor Profile
Jaco Van De Pol
Aarhus University Denmark
formal verification
software specification and verification
formal methods
View Professor Profile
Professor
Professor Profile
David Parker
University of Oxford United Kingdom
verification
automated verification
probabilistic verification
View Professor Profile
Professor
Professor Profile
Clare Dixon
University of Manchester United Kingdom
specification verification
verification
theorem-proving
View Professor Profile
Professor
Professor Profile
Kerstin Eder
University of Bristol United Kingdom
verification
validation
formal methods
View Professor Profile
Professor
Professor Profile
Denise Woit
Toronto Metropolitan University Canada
software verification
validation
formal methods
View Professor Profile
Professor
Professor Profile
Herman Geuvers
Radboud University Netherlands
software verification
formal methods
proof assistants
View Professor Profile
Professor
Professor Profile
Stefano Volpe
University of Southern Denmark Denmark
formal models
proof assistants
formalisation
View Professor Profile
Professor
Professor Profile
Viktor Kuncak
École Polytechnique Fédérale de Lausanne Switzerland
formal verification
system verification
View Professor Profile
Professor
Professor Profile
Randal Bryant
Carnegie Mellon University United States of America
formal verification
software verification
View Professor Profile
Professor
Professor Profile
David Dill
Stanford University United States of America
formal verification
software verification
hardware verification
View Professor Profile
Professor
Professor Profile
Mark Aagaard
University of Waterloo Canada
formal verification
design verification
View Professor Profile
Professor
Professor Profile
Roberto Guanciale
KTH Royal Institute of Technology Sweden
formal verification
formal methods
View Professor Profile
Professor
Professor Profile
Jeremy Avigad
Carnegie Mellon University United States of America
formal verification
proof theory
View Professor Profile
Professor
Professor Profile
Limin Jia
Carnegie Mellon University United States of America
formal software verification
network verification
View Professor Profile
Professor
Professor Profile
Andrzej Murawski
University of Oxford United Kingdom
software verification
automated verification
View Professor Profile
Professor
Professor Profile
Francois Dupressoir
University of Bristol United Kingdom
program verification
machine-checked proofs
View Professor Profile
Professor
Professor Profile
Andrew Appel
Princeton University United States of America
program verification
machine-checked proofs
View Professor Profile
Professor
Professor Profile
Hanno Nickau
University of Oxford United Kingdom
verification
proofs
View Professor Profile
Professor
Professor Profile
Zeliha Kaynar
Carnegie Mellon University United States of America
verification
formal modeling
View Professor Profile
First
Prev
Page 1 | 607 Results
Next