Nuclear Disarmament 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
View Professor Profile
Professor
Professor Profile
Alex Glaser
Princeton University United States of America
nuclear verification
nuclear disarmament
View Professor Profile
Professor
Professor Profile
Leyla Tiglay
Brown University United States of America
nuclear disarmament
nuclear weapons
View Professor Profile
Professor
Professor Profile
Hassan Elbahtimy
King's College London United Kingdom
arms control verification
nuclear weapons
View Professor Profile
Professor
Professor Profile
Jürgen Giesl
RWTH Aachen University Germany
program verification
formal verification
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
Andrzej Murawski
University of Oxford United Kingdom
automated verification
software verification
View Professor Profile
Professor
Professor Profile
Viktor Kuncak
École Polytechnique Fédérale de Lausanne Switzerland
system verification
formal 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
hardware verification
formal verification
software verification
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
Kerstin Eder
University of Bristol United Kingdom
formal verification
verification
View Professor Profile
Professor
Professor Profile
Clare Dixon
University of Manchester United Kingdom
specification verification
verification
View Professor Profile
Professor
Professor Profile
Mark Aagaard
University of Waterloo Canada
formal verification
design 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
Xujie Si
University of Toronto Canada
verification
automated software verification
View Professor Profile
Professor
Professor Profile
Bo Cederwall
KTH Royal Institute of Technology Sweden
nuclear safeguards
nuclear security
View Professor Profile
Professor
Professor Profile
Peter Andersson
Uppsala University Sweden
nuclear disarmament verification
View Professor Profile
Professor
Professor Profile
Trevor Mccrisken
University of Warwick United Kingdom
nuclear disarmament
View Professor Profile
Professor
Professor Profile
Sophia Hatz
Uppsala University Sweden
nuclear disarmament
View Professor Profile
Professor
Professor Profile
Ulrika Möller
University of Gothenburg Sweden
nuclear disarmament
View Professor Profile
First
Prev
Page 1 | 280 Results
Next