Dose Distribution Verification 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
Eva Lund
Linköping University Sweden
dose distribution verification
emergency dose determination
View Professor Profile
Professor
Professor Profile
Clare Dixon
University of Manchester United Kingdom
specification verification
verification
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
software verification
formal verification
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
Kerstin Eder
University of Bristol United Kingdom
verification
formal 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
Mark Aagaard
University of Waterloo Canada
design verification
formal verification
View Professor Profile
Professor
Professor Profile
Maria Swartling
Uppsala University Sweden
model-informed precision dosing
individualized dosing
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
Xujie Si
University of Toronto Canada
verification
automated 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
Radoslaw Rowicki
Technical University of Denmark Denmark
distributed deadlock detection
hybrid 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
Anna Bäck
University of Gothenburg Sweden
dose-response modeling
3d dose uncertainty maps
View Professor Profile
Professor
Professor Profile
Guillaume Landry
Ludwig Maximilian University of Munich Germany
dose calculation
View Professor Profile
Professor
Professor Profile
Maja Sohlin
University of Gothenburg Sweden
dose calculation
View Professor Profile
Professor
Professor Profile
Roumiana Chakarova
University of Gothenburg Sweden
dose calculation accuracy
View Professor Profile
Professor
Professor Profile
Carmine Pizzo
London School of Economics and Political Science United Kingdom
disclosure information verification
View Professor Profile
First
Prev
Page 1 | 444 Results
Next