Interactive Proof Systems Professors in Global

Search By
Location
Location
Searching Globally
Professor
Professor Profile
Volker Kuchelmeister
University of New South Wales Australia
interactive systems
interactive narrative
View Professor Profile
Professor
Professor Profile
Andreas Brännström
Umeå University Sweden
interactive system verification
intelligent decision-support
View Professor Profile
Professor
Professor Profile
Peter Liu
Carleton University Canada
interactive networked systems
intelligent systems
View Professor Profile
Professor
Professor Profile
Steven Kelk
Maastricht University Netherlands
proof assistants
computational proof
View Professor Profile
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
Amir Shabani
Simon Fraser University Canada
interactive robotics
sustainable interactive intelligent system design
View Professor Profile
Professor
Professor Profile
Jeff Avery
University of Waterloo Canada
interactive systems design
input interaction technologies
View Professor Profile
Professor
Professor Profile
Ravin Balakrishnan
University of Toronto Canada
interactive technology
interactive computer graphics
View Professor Profile
Professor
Professor Profile
Ellie Adams
University of Canterbury New Zealand
interactive technology
interactive exhibitions
View Professor Profile
Professor
Professor Profile
Ronghui Gu
Columbia University United States of America
proof automation
systems verification
View Professor Profile
Professor
Professor Profile
Revantha Ramanayake
University of Groningen Netherlands
proof assistants
proof theory
View Professor Profile
Professor
Professor Profile
Inge Sorensen
University of Glasgow United Kingdom
interactive learning
interactive documentaries
View Professor Profile
Professor
Professor Profile
Nicholas Spooner
Cornell University Netherlands
probabilistic proof systems
post-quantum proof systems
View Professor Profile
Professor
Professor Profile
Theo Assiotis
University of Edinburgh United Kingdom
integrable systems
interacting particle systems
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
June Kim
University of New South Wales Australia
interactive generative visualisation
immersive simulation
View Professor Profile
Professor
Professor Profile
Baris Fidan
University of Waterloo Canada
intelligent systems
system identification
View Professor Profile
Professor
Professor Profile
Judith Masthoff
Utrecht University Netherlands
intelligent user interfaces
intelligent tutoring systems
View Professor Profile
Professor
Professor Profile
J Moore
University of Texas at Austin United States of America
application proving properties
automatic theorem proving
View Professor Profile
First
Prev
Page 1 | 1352 Results
Next