Proof Logging Professors in Global

Search By
Location
Location
Searching Globally
Professor
Professor Profile
Magnus Myréen
University of Gothenburg Sweden
proof logging
theorem proving
View Professor Profile
Professor
Professor Profile
Revantha Ramanayake
University of Groningen Netherlands
proof theory
proof assistants
View Professor Profile
Professor
Professor Profile
Steven Kelk
Maastricht University Netherlands
proof assistants
computational proof
View Professor Profile
Professor
Professor Profile
Hanno Nickau
University of Oxford United Kingdom
proofs
verification
View Professor Profile
Professor
Professor Profile
Herman Geuvers
Radboud University Netherlands
proof assistants
software verification
View Professor Profile
Professor
Professor Profile
Clare Dixon
University of Manchester United Kingdom
theorem-proving
verification
View Professor Profile
Professor
Professor Profile
Sofiène Tahar
Concordia University Canada
theorem proving
hardware verification
View Professor Profile
Professor
Professor Profile
Thomas Sewell
University of New South Wales Australia
theorem proving
software verification
View Professor Profile
Professor
Professor Profile
Michael Ernst
University of Washington United States of America
testing
verification
View Professor Profile
Professor
Professor Profile
Xujie Si
University of Toronto Canada
testing
verification
View Professor Profile
Professor
Professor Profile
Michael Ernst
University of Washington United States of America
testing
verification
View Professor Profile
Professor
Professor Profile
Jeroen Keiren
Eindhoven University of Technology Belgium
hardware verification
software verification
View Professor Profile
Professor
Professor Profile
Clark Barrett
Stanford University United States of America
hardware verification
software verification
View Professor Profile
Professor
Professor Profile
David Dill
Stanford University United States of America
hardware verification
software verification
View Professor Profile
Professor
Professor Profile
Kerstin Eder
University of Bristol United Kingdom
validation
verification
View Professor Profile
Professor
Professor Profile
Kerstin Eder
University of Bristol United Kingdom
validation
verification
View Professor Profile
Professor
Professor Profile
Søren Christensen
Aarhus University Denmark
validation
verification
View Professor Profile
Professor
Professor Profile
Robert Gracie
University of Waterloo Canada
validation
verification
View Professor Profile
Professor
Professor Profile
Daniel Dig
University of Illinois United States of America
validation
verification
View Professor Profile
Professor
Professor Profile
Denise Woit
Toronto Metropolitan University Canada
validation
software verification
View Professor Profile
Professor
Professor Profile
Lionel Briand
University of Ottawa Canada
validation
software verification
View Professor Profile
First
Prev
Page 1 | 457 Results
Next