Verified Numerics Professors in Global

Search By
Location
Location
Searching Globally
Professor
Professor Profile
David Parker
University of Oxford United Kingdom
probabilistic verification
automated verification
verification
View Professor Profile
Professor
Professor Profile
Monika Eisenmann
Lund University Sweden
numerical approximation
randomized algorithms
stochastic numerical analysis
View Professor Profile
Professor
Professor Profile
Alessio Lomuscio
Imperial College London United Kingdom
verification of neural networks
verification of neuro-symbolic systems
View Professor Profile
Professor
Professor Profile
Limin Jia
Carnegie Mellon University United States of America
network verification
formal software verification
View Professor Profile
Professor
Professor Profile
Andrzej Murawski
University of Oxford United Kingdom
automated verification
software 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
David Dill
Stanford University United States of America
formal verification
software verification
hardware 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
Kerstin Eder
University of Bristol United Kingdom
formal verification
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
Mark Aagaard
University of Waterloo Canada
formal verification
design verification
View Professor Profile
Professor
Professor Profile
Justin Hsu
Cornell University Netherlands
formal verification
numerical analysis
View Professor Profile
Professor
Professor Profile
Michalis Kokologiannakis
Max Planck Institute for Software Systems Germany
automated verification testing
software verification
View Professor Profile
Professor
Professor Profile
Jürgen Giesl
RWTH Aachen University Germany
formal verification
program verification
View Professor Profile
Professor
Professor Profile
Jason Howell
Carnegie Mellon University United States of America
numerical approximation
numerical analysis
View Professor Profile
Professor
Professor Profile
Michael Griebel
University of Bonn Germany
numerical approximation
numerical simulation
View Professor Profile
Professor
Professor Profile
Clare Dixon
University of Manchester United Kingdom
specification verification
verification
View Professor Profile
Professor
Professor Profile
Xujie Si
University of Toronto Canada
automated software verification
verification
View Professor Profile
Professor
Professor Profile
Taylor Brysiewicz
Western University Canada
numerical algorithms
randomized algorithms
View Professor Profile
Professor
Professor Profile
Jacob White
Massachusetts Institute of Technology United States of America
numerical algorithms
numerical analysis
View Professor Profile
Professor
Professor Profile
Michiel Hochstenbach
Eindhoven University of Technology Belgium
numerical algorithms
numerical analysis
View Professor Profile
First
Prev
Page 1 | 1194 Results
Next