Mathematical Foundations Of Formal Verification Professors in Global

Search By
Location
Location
Searching Globally
Professor
Professor Profile
Assia Mahboubi
Inria France
mathematical proofs
formalization of mathematics
automated verification
View Professor Profile
Professor
Professor Profile
Jaco Van De Pol
Aarhus University Denmark
formal verification
software specification and verification
View Professor Profile
Professor
Professor Profile
Viktor Kuncak
École Polytechnique Fédérale de Lausanne Switzerland
formal verification
systems 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
Mark Aagaard
University of Waterloo Canada
formal verification
design verification
View Professor Profile
Professor
Professor Profile
David Dill
Stanford University United States of America
formal verification
software verification
View Professor Profile
Professor
Professor Profile
George Tsiknis
University of British Columbia Canada
formal proof theory
software verification
View Professor Profile
Professor
Professor Profile
Chen-wei Wang
York University Canada
formal validation
automated model-based verification
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
Rachid Hamadi
University of New South Wales Australia
analysis verification
formal modeling
View Professor Profile
Professor
Professor Profile
Maribel Fernandez
King's College London United Kingdom
analysis and verification
software verification
View Professor Profile
Professor
Professor Profile
David Parker
University of Oxford United Kingdom
probabilistic verification
automated verification
View Professor Profile
Professor
Professor Profile
Myrto Arapinis
University of Edinburgh United Kingdom
verification of cryptographic protocols
formal models
View Professor Profile
Professor
Professor Profile
Ronghui Gu
Columbia University United States of America
software verification
formal semantics
View Professor Profile
Professor
Professor Profile
Benedict Eastaugh
University of Warwick United Kingdom
foundations of mathematics
formal epistemology
View Professor Profile
Professor
Professor Profile
Eun-young Kang
University of Southern Denmark Denmark
verification & validation
formal models
View Professor Profile
Professor
Professor Profile
Andrzej Murawski
University of Oxford United Kingdom
software verification
automated verification
View Professor Profile
Professor
Professor Profile
Eric Martin
University of New South Wales Australia
logical foundations
formal learning theory
View Professor Profile
Professor
Professor Profile
Michalis Kokologiannakis
Max Planck Institute for Software Systems Germany
software verification
automated verification testing
View Professor Profile
Professor
Professor Profile
Andrew Appel
Princeton University United States of America
machine-checked proofs
program verification
View Professor Profile
Professor
Professor Profile
Francois Dupressoir
University of Bristol United Kingdom
machine-checked proofs
program verification
View Professor Profile
First
Prev
Page 1 | 386 Results
Next