Type Checking Professors in Global

Search By
Location
Location
Searching Globally
Professor
Professor Profile
David Parker
University of Oxford United Kingdom
software model checking
verification
automated verification
probabilistic model checking
View Professor Profile
Professor
Professor Profile
Nir Piterman
Chalmers University of Technology Sweden
model checking
type systems
formal verification
View Professor Profile
Professor
Professor Profile
Nir Piterman
University of Gothenburg Sweden
model checking
type systems
formal verification
View Professor Profile
Professor
Professor Profile
Michael Ernst
University of Washington United States of America
type theory
verification
testing
View Professor Profile
Professor
Professor Profile
Kerstin Eder
University of Bristol United Kingdom
verification
formal verification
validation
View Professor Profile
Professor
Professor Profile
Lei Feng
KTH Royal Institute of Technology Sweden
model checking
verification
View Professor Profile
Professor
Professor Profile
Lei Feng
KTH Royal Institute of Technology Sweden
model checking
verification
View Professor Profile
Professor
Professor Profile
Koushik Sen
University of California, Berkeley United States of America
model checking
verification
View Professor Profile
Professor
Professor Profile
Hadas Kress-gazit
Cornell University Netherlands
model checking
verification
View Professor Profile
Professor
Professor Profile
Hadas Kress-gazit
Cornell University Netherlands
model checking
verification
View Professor Profile
Professor
Professor Profile
Oleg Sokolsky
University of Pennsylvania United States of America
model checking
formal verification
View Professor Profile
Professor
Professor Profile
Anton Wijs
Eindhoven University of Technology Belgium
model checking
formal verification
View Professor Profile
Professor
Professor Profile
Craig Mclaughlin
University of New South Wales Australia
model checking
formal verification
View Professor Profile
Professor
Professor Profile
Natasha Sharygina
University of Lugano Switzerland
model checking
formal verification
View Professor Profile
Professor
Professor Profile
Michael Blondin
University of Sherbrooke Canada
model checking
formal verification
View Professor Profile
Professor
Professor Profile
Tim Willemse
Eindhoven University of Technology Belgium
model checking
software verification
View Professor Profile
Professor
Professor Profile
Jeroen Keiren
Eindhoven University of Technology Belgium
model checking
hardware verification
software verification
View Professor Profile
Professor
Professor Profile
Ansgar Fehnker
Macquarie University Australia
model checking
software verification
View Professor Profile
Professor
Professor Profile
Juanita Caballero Villalobos
Technical University of Denmark Denmark
conformance checking
compliance checking
View Professor Profile
Professor
Professor Profile
Hanno Nickau
University of Oxford United Kingdom
types
verification
View Professor Profile
Professor
Professor Profile
Eun-young Kang
University of Southern Denmark Denmark
model-checking
verification & validation
View Professor Profile
First
Prev
Page 1 | 354 Results
Next