Interactive Proofs 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
Gabriel Vigliensoni
Concordia University Canada
interactive machine learning
interactivity
View Professor Profile
Professor
Professor Profile
Volker Kuchelmeister
University of New South Wales Australia
interactive narrative
interactive systems
View Professor Profile
Professor
Professor Profile
Steven Kelk
Maastricht University Netherlands
proof assistants
computational proof
View Professor Profile
Professor
Professor Profile
Jean-claude Bustros
Concordia University Canada
interactive narrative
interactivity
View Professor Profile
Professor
Professor Profile
Pippin Barr
Concordia University Canada
interactive narrative
interactivity
View Professor Profile
Professor
Professor Profile
Revantha Ramanayake
University of Groningen Netherlands
proof assistants
proof theory
View Professor Profile
Professor
Professor Profile
Andrew Hieronymi
Pennsylvania State University United States of America
interactive installations
physical interaction
View Professor Profile
Professor
Professor Profile
Philip Bell
University of New South Wales Australia
interactive media
digital interaction
View Professor Profile
Professor
Professor Profile
Julian Frommel
Utrecht University Netherlands
interactive systems
social interactions
View Professor Profile
Professor
Professor Profile
Magnus Myréen
University of Gothenburg Sweden
proof logging
theorem proving
View Professor Profile
Professor
Professor Profile
Charles Perin
University of Victoria Canada
interactive technologies
collaborative interaction
View Professor Profile
Professor
Professor Profile
Apostolos Grammatikopoulos
Delft University of Technology Netherlands
experiments
interactions
View Professor Profile
Professor
Professor Profile
Daniel Tetteroo
Eindhoven University of Technology Belgium
tangible interfaces
playful interaction
View Professor Profile
Professor
Professor Profile
Jakob Tholander
Stockholm University Sweden
tangible interaction
interactive sports technologies
View Professor Profile
Professor
Professor Profile
Rikke Nørgård
Aalborg University Denmark
interactive systems design
user interaction
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
First
Prev
Page 1 | 756 Results
Next