RenderTime: 6/10/2026, 5:57:58 AM
Services
Find professor
Find position
Find Student
SOP Builder
Language Exam preparation
Help and resources
Blog
Tutorial
How it work
Our company
About Us
Contact Us
Log in
Register
Home
Professors
Interactive System Verification
Interactive System Verification Professors in Global
Professors
Students
Positions
Search By
All
My Interests
Custom
Location
Global
Country
University
Location
Searching Globally
Professor
David Parker
University of Oxford
United Kingdom
automated verification
verification
probabilistic verification
software model checking
View Professor Profile
Professor
Kerstin Eder
University of Bristol
United Kingdom
formal verification
verification
validation
View Professor Profile
Professor
Viktor Kuncak
École Polytechnique Fédérale de Lausanne
Switzerland
system verification
formal verification
View Professor Profile
Professor
Andrzej Murawski
University of Oxford
United Kingdom
software verification
automated verification
View Professor Profile
Professor
Michalis Kokologiannakis
Max Planck Institute for Software Systems
Germany
software verification
automated verification testing
View Professor Profile
Professor
Randal Bryant
Carnegie Mellon University
United States of America
software verification
formal verification
View Professor Profile
Professor
David Dill
Stanford University
United States of America
software verification
hardware verification
formal verification
View Professor Profile
Professor
Limin Jia
Carnegie Mellon University
United States of America
formal software verification
network verification
View Professor Profile
Professor
Michael Borkowski
Purdue University
United States of America
software verification
interactive theorem provers
View Professor Profile
Professor
Rob Sison
University of New South Wales
Australia
software verification
interactive theorem proving
View Professor Profile
Professor
Yvan Labiche
Carleton University
Canada
software verification
software validation
View Professor Profile
Professor
Xujie Si
University of Toronto
Canada
automated software verification
verification
View Professor Profile
Professor
Jürgen Giesl
RWTH Aachen University
Germany
program verification
formal verification
View Professor Profile
Professor
Johannes Pohjola
University of New South Wales
Australia
program verification
interactive theorem proving
View Professor Profile
Professor
Denise Woit
Toronto Metropolitan University
Canada
software verification
validation
View Professor Profile
Professor
Lionel Briand
University of Ottawa
Canada
software verification
validation
View Professor Profile
Professor
Mohammad Abdulaziz
King's College London
United Kingdom
formal verification
interactive theorem provers
View Professor Profile
Professor
Craig Mclaughlin
University of New South Wales
Australia
formal verification
interactive theorem proving
View Professor Profile
Professor
Jacques Fleuriot
University of Edinburgh
United Kingdom
formal verification
interactive theorem proving
View Professor Profile
Professor
Mark Aagaard
University of Waterloo
Canada
formal verification
design verification
View Professor Profile
Professor
Tjark Weber
Uppsala University
Sweden
formal verification
automated interactive theorem proving
View Professor Profile
Sign in to continue
Log in or register to unlock all features and see all professors.
Log in
Register
First
Prev
Page 1
|
1271 Results
Next