Interactive Theorem Provers Professors in Global

Search By
Location
Location
Searching Globally
Professor
Professor Profile
Edwin Simpson
University of Bristol United Kingdom
interactive learning
interactive ai
View Professor Profile
Professor
Professor Profile
Volker Kuchelmeister
University of New South Wales Australia
interactive narrative
interactive systems
View Professor Profile
Professor
Professor Profile
Ellie Adams
University of Canterbury New Zealand
interactive exhibitions
interactive technology
View Professor Profile
Professor
Professor Profile
Athina Thoma
University of Southampton United Kingdom
interactive theorem provers
View Professor Profile
Professor
Professor Profile
Karl Palmskog
KTH Royal Institute of Technology Sweden
interactive theorem provers
View Professor Profile
Professor
Professor Profile
Mohammad Abdulaziz
King's College London United Kingdom
interactive theorem provers
View Professor Profile
Professor
Professor Profile
Michael Borkowski
Purdue University United States of America
interactive theorem provers
View Professor Profile
Professor
Professor Profile
Lars-henrik Eriksson
Uppsala University Sweden
interactive theorem proving
View Professor Profile
Professor
Professor Profile
Michael Norrish
Australian National University Australia
interactive theorem proving
View Professor Profile
Professor
Professor Profile
Johannes Pohjola
University of New South Wales Australia
interactive theorem proving
View Professor Profile
Professor
Professor Profile
Craig Mclaughlin
University of New South Wales Australia
interactive theorem proving
View Professor Profile
Professor
Professor Profile
Rob Sison
University of New South Wales Australia
interactive theorem proving
View Professor Profile
Professor
Professor Profile
Clément Pit-claudel
École Polytechnique Fédérale de Lausanne Switzerland
interactive theorem proving
View Professor Profile
Professor
Professor Profile
Clément Pit-claudel
École Polytechnique Fédérale de Lausanne Switzerland
interactive theorem proving
View Professor Profile
Professor
Professor Profile
Jacques Fleuriot
University of Edinburgh United Kingdom
interactive theorem proving
View Professor Profile
Professor
Professor Profile
Tjark Weber
Uppsala University Sweden
automated interactive theorem proving
View Professor Profile
Professor
Professor Profile
Christian Urban
King's College London United Kingdom
theorem provers
View Professor Profile
Professor
Professor Profile
Matthew Daggitt
University of Western Australia Australia
theorem provers
View Professor Profile
Professor
Professor Profile
Geoff Webb
Monash University Australia
interactive machine learning
View Professor Profile
Professor
Professor Profile
Graham Dove
New York University Tandon School of Engineering United States of America
interactive machine learning
View Professor Profile
Professor
Professor Profile
Kristen Grauman
University of Texas at Austin United States of America
interactive machine learning
View Professor Profile
First
Prev
Page 1 | 217 Results
Next