RenderTime: 6/4/2026, 7:59:25 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
Verification
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
verification
automated verification
probabilistic verification
View Professor Profile
Professor
Kerstin Eder
University of Bristol
United Kingdom
verification
formal verification
validation
View Professor Profile
Professor
Kerstin Eder
University of Bristol
United Kingdom
verification
validation
View Professor Profile
Professor
Søren Christensen
Aarhus University
Denmark
verification
validation
View Professor Profile
Professor
Robert Gracie
University of Waterloo
Canada
verification
validation
View Professor Profile
Professor
Daniel Dig
University of Illinois
United States of America
verification
validation
View Professor Profile
Professor
Clare Dixon
University of Manchester
United Kingdom
verification
specification verification
View Professor Profile
Professor
Xujie Si
University of Toronto
Canada
verification
automated software verification
View Professor Profile
Professor
Nathan Vanhoudnos
Carnegie Mellon University
United States of America
verification
detection
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
automated verification
software verification
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
formal verification
hardware verification
View Professor Profile
Professor
Jürgen Giesl
RWTH Aachen University
Germany
program verification
formal verification
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
Mark Aagaard
University of Waterloo
Canada
formal verification
design verification
View Professor Profile
Professor
Michalis Kokologiannakis
Max Planck Institute for Software Systems
Germany
software verification
automated verification testing
View Professor Profile
Professor
Eun-young Kang
University of Southern Denmark
Denmark
verification & validation
model-checking
View Professor Profile
Professor
Limin Jia
Carnegie Mellon University
United States of America
network verification
formal software verification
View Professor Profile
Professor
Jaco Van De Pol
Aarhus University
Denmark
formal verification
software specification and verification
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
|
434 Results
Next