Analysis And Verification Professors in Global

Search By
Location
Location
Searching Globally
Professor
Professor Profile
David Parker
University of Oxford United Kingdom
automated verification
verification
probabilistic verification
quantitative analysis
View Professor Profile
Professor
Professor Profile
Eun-young Kang
University of Southern Denmark Denmark
verification & validation
analysis
dependability & reliability
model-checking
View Professor Profile
Professor
Professor Profile
Kerstin Eder
University of Bristol United Kingdom
verification
formal verification
validation
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
Ruben Martins
Carnegie Mellon University United States of America
analysis
verification
malware analysis
View Professor Profile
Professor
Professor Profile
Jeroen Keiren
Eindhoven University of Technology Belgium
software verification
hardware verification
model checking
View Professor Profile
Professor
Professor Profile
Jürgen Giesl
RWTH Aachen University Germany
formal verification
program verification
complexity analysis
View Professor Profile
Professor
Professor Profile
Denise Woit
Toronto Metropolitan University Canada
software verification
validation
software analysis
View Professor Profile
Professor
Professor Profile
Natasha Sharygina
University of Lugano Switzerland
formal verification
program analysis
model checking
View Professor Profile
Professor
Professor Profile
Ramayya Krishnan
Carnegie Mellon University United States of America
measurement and analysis
risk analysis and management
risk analysis
View Professor Profile
Professor
Professor Profile
Alexander Hauptmann
Carnegie Mellon University United States of America
video analysis
image analysis
audio analysis
View Professor Profile
Professor
Professor Profile
Otmane Ait Mohamed
Concordia University Canada
hardware verification
model checking
quantitative analysis
View Professor Profile
Professor
Professor Profile
René Carmona
Princeton University United States of America
image analysis
signal analysis
stochastic analysis
View Professor Profile
Professor
Professor Profile
Tiejun Ma
University of Southampton United Kingdom
behavioural analysis
big data analysis
risk analysis
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
Alessandro Abate
University of Oxford United Kingdom
analysis
verification
View Professor Profile
Professor
Professor Profile
Jaco Van De Pol
Aarhus University Denmark
software specification and verification
formal verification
View Professor Profile
Professor
Professor Profile
Clare Dixon
University of Manchester United Kingdom
verification
specification verification
View Professor Profile
Professor
Professor Profile
Viktor Kuncak
École Polytechnique Fédérale de Lausanne Switzerland
systems verification
formal verification
View Professor Profile
Professor
Professor Profile
Andrzej Murawski
University of Oxford United Kingdom
automated verification
software verification
View Professor Profile
Professor
Professor Profile
Steve Easterbrook
University of Toronto Canada
software verification and validation
systems analysis
View Professor Profile
First
Prev
Page 1 | 4561 Results
Next