Computer Assisted Proofs Professors in Global

Search By
Location
Location
Searching Globally
Professor
Professor Profile
Revantha Ramanayake
University of Groningen Netherlands
proof assistants
automated theorem proving
proof theory
View Professor Profile
Professor
Professor Profile
Assia Mahboubi
Inria France
mathematical proofs
computer-aided mathematics
automated verification
View Professor Profile
Professor
Professor Profile
Ibrahim Deiab
University of Guelph Canada
computer-aided engineering
computer-aided design
computer-aided manufacturing
View Professor Profile
Professor
Professor Profile
Michael Beltran
Northwestern University United States of America
computer-aided engineering
computer-aided design
computer-aided manufacturing
View Professor Profile
Professor
Professor Profile
Victor Adamchik
University of Southern California United States of America
automated theorem proving
computer algebra
computational mathematics
View Professor Profile
Professor
Professor Profile
Robert Boyer
University of Texas at Austin United States of America
automated theorem proving
automated reasoning
computational logic
View Professor Profile
Professor
Professor Profile
Herman Geuvers
Radboud University Netherlands
proof assistants
computational models
computer science
View Professor Profile
Professor
Professor Profile
Magnus Myréen
University of Gothenburg Sweden
proof logging
theorem proving
automated reasoning
View Professor Profile
Professor
Professor Profile
Samuel Armato
University of Chicago United States of America
computer-aided diagnosis
computer vision
computed tomography
View Professor Profile
Professor
Professor Profile
Samuel Armato
University of Chicago United States of America
computer-aided diagnosis
computer vision
computed tomography
View Professor Profile
Professor
Professor Profile
Mateja Jamnik
University of Cambridge United Kingdom
theorem proving
automated reasoning
human-like computation
View Professor Profile
Professor
Professor Profile
Eliezer Upfal
Brown University United States of America
computational statistics
analysis of algorithms
randomized algorithms
View Professor Profile
Professor
Professor Profile
Curtis Bright
University of Windsor Canada
computer-assisted proofs
automated reasoning
View Professor Profile
Professor
Professor Profile
Steven Kelk
Maastricht University Netherlands
computational proof
proof assistants
View Professor Profile
Professor
Professor Profile
Patrick Lederer
University of New South Wales Australia
computer-aided theorem proving
computational social choice
View Professor Profile
Professor
Professor Profile
Parvin Mousavi
Queen's University Canada
No active positions
computer-assisted diagnosis
computer-aided diagnosis
View Professor Profile
Professor
Professor Profile
Fares Fraij
University of Texas at Austin United States of America
computer-aided instruction
automatic theorem proving
View Professor Profile
Professor
Professor Profile
Javier Munguia
University of Warwick United Kingdom
computer aided engineering
computer aided design
View Professor Profile
Professor
Professor Profile
Daniel Appelbaum
University of Chicago United States of America
computer aided diagnosis
computer assisted radiographic image interpretation
View Professor Profile
Professor
Professor Profile
Pascal Fua
École Polytechnique Fédérale de Lausanne Switzerland
computer assisted engineering
computer vision
View Professor Profile
Professor
Professor Profile
J Moore
University of Texas at Austin United States of America
automatic theorem proving
application proving properties
View Professor Profile
First
Prev
Page 1 | 4026 Results
Next