Formal Software Verification Professors in Global

Search By
Location
Location
Searching Globally
Professor
Professor Profile
Denise Woit
Toronto Metropolitan University Canada
software verification
software testing
software reliability
validation
View Professor Profile
Professor
Professor Profile
David Parker
University of Oxford United Kingdom
automated verification
verification
software model checking
probabilistic verification
View Professor Profile
Professor
Professor Profile
Limin Jia
Carnegie Mellon University United States of America
formal software verification
network verification
software security
View Professor Profile
Professor
Professor Profile
Yvan Labiche
Carleton University Canada
software verification
software validation
software quality assurance
View Professor Profile
Professor
Professor Profile
Karthik Pattabiraman
University of British Columbia Canada
software verification
software testing
secure software
dependable software
View Professor Profile
Professor
Professor Profile
Kerstin Eder
University of Bristol United Kingdom
formal verification
verification
validation
View Professor Profile
Professor
Professor Profile
Xujie Si
University of Toronto Canada
automated software verification
verification
software quality
View Professor Profile
Professor
Professor Profile
Daniel Dig
University of Illinois United States of America
verification
software testing
validation
View Professor Profile
Professor
Professor Profile
Professor
University of Hamburg Germany
software correctness
verification
formal models
View Professor Profile
Professor
Professor Profile
Juergen Dingel
Queen's University Canada
verification
software quality assurance
formal specification
View Professor Profile
Professor
Professor Profile
Eun-young Kang
University of Southern Denmark Denmark
verification & validation
software quality assurance
formal models
View Professor Profile
Professor
Professor Profile
Søren Christensen
Aarhus University Denmark
verification
validation
software specification
View Professor Profile
Professor
Professor Profile
Randal Bryant
Carnegie Mellon University United States of America
software verification
formal verification
View Professor Profile
Professor
Professor Profile
David Dill
Stanford University United States of America
software verification
formal verification
hardware verification
View Professor Profile
Professor
Professor Profile
Jürgen Giesl
RWTH Aachen University Germany
formal verification
program 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
system verification
View Professor Profile
Professor
Professor Profile
Andrzej Murawski
University of Oxford United Kingdom
software verification
automated verification
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
Mark Aagaard
University of Waterloo Canada
formal verification
design verification
View Professor Profile
Professor
Professor Profile
Karine Even-mendoza
King's College London United Kingdom
software verification
software testing
View Professor Profile
First
Prev
Page 1 | 453 Results
Next