Timber Legality Verification Professors in Global

Search By
Location
Location
Searching Globally
Professor
Professor Profile
David Dill
Stanford University United States of America
formal verification
software verification
hardware verification
View Professor Profile
Professor
Professor Profile
Depi Susilawati
Australian National University Australia
timber legality verification
sustainable forest certification
View Professor Profile
Professor
Professor Profile
Mark Aagaard
University of Waterloo Canada
formal verification
design 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
Kerstin Eder
University of Bristol United Kingdom
formal verification
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
Clark Barrett
Stanford University United States of America
software verification
hardware verification
View Professor Profile
Professor
Professor Profile
Clare Dixon
University of Manchester United Kingdom
specification verification
verification
View Professor Profile
Professor
Professor Profile
Jeroen Keiren
Eindhoven University of Technology Belgium
software verification
hardware verification
View Professor Profile
Professor
Professor Profile
Warren Hunt
University of Texas at Austin United States of America
program verification
hardware verification
View Professor Profile
Professor
Professor Profile
Andrzej Murawski
University of Oxford United Kingdom
software verification
automated verification
View Professor Profile
Professor
Professor Profile
David Parker
University of Oxford United Kingdom
verification
automated verification
View Professor Profile
Professor
Professor Profile
Barbara Bintliff
University of Texas at Austin United States of America
legal materials authentication
View Professor Profile
Professor
Professor Profile
Areg Danagoulian
Massachusetts Institute of Technology United States of America
treaty verification
View Professor Profile
Professor
Professor Profile
Peter Kanowski
Australian National University Australia
forest certification
View Professor Profile
Professor
Professor Profile
Jeremy Avigad
Carnegie Mellon University United States of America
formal verification
View Professor Profile
Professor
Professor Profile
Nadia Tawbi
Laval University Canada
formal verification
View Professor Profile
Professor
Professor Profile
Jerry Den Hartog
Eindhoven University of Technology Belgium
formal verification
View Professor Profile
Professor
Professor Profile
Roberto Guanciale
KTH Royal Institute of Technology Sweden
formal verification
View Professor Profile
Professor
Professor Profile
Nir Piterman
University of Gothenburg Sweden
formal verification
View Professor Profile
Professor
Professor Profile
Nicola Paoletti
King's College London United Kingdom
formal verification
View Professor Profile
First
Prev
Page 1 | 214 Results
Next