Computer Aided Theorem Proving Professors in Global

Search By
Location
Location
Searching Globally
Professor
Professor Profile
Mateja Jamnik
University of Cambridge United Kingdom
theorem proving
automated reasoning
human-like computation
machine learning
View Professor Profile
Professor
Professor Profile
Benjamin Zwick
University of Western Australia Australia
machine learning
computer robot-aided surgery
computational biophysics
mathematical modelling
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
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
Ekaterina Komendantskaya
University of Southampton United Kingdom
theorem proving
machine learning
computer science
View Professor Profile
Professor
Professor Profile
Parvin Mousavi
Queen's University Canada
No active positions
computer-aided diagnosis
computer-assisted diagnosis
machine learning
View Professor Profile
Professor
Professor Profile
Samuel Armato
University of Chicago United States of America
computer-aided diagnosis
computed tomography
computer vision
View Professor Profile
Professor
Professor Profile
Pascal Fua
École Polytechnique Fédérale de Lausanne Switzerland
computer assisted engineering
computer vision
machine learning
View Professor Profile
Professor
Professor Profile
Paul Abbott
University of Western Australia Australia
computer algebra
applied mathematics
computational physics
View Professor Profile
Professor
Professor Profile
Sandra Zilles
University of Regina Canada
theoretical computer science
computational learning theory
machine learning
View Professor Profile
Professor
Professor Profile
Samuel Armato
University of Chicago United States of America
computer-aided diagnosis
computed tomography
computer vision
View Professor Profile
Professor
Professor Profile
Fons Van Der Sommen
Eindhoven University of Technology Belgium
computer-aided detection
computer vision
machine learning
View Professor Profile
Professor
Professor Profile
Lawrence Staib
Yale University United States of America
computer-assisted image processing
computer-assisted radiographic image interpretation
machine learning
View Professor Profile
Professor
Professor Profile
Yiming Xiao
Concordia University Canada
computer-assisted diagnosis
computer vision
machine learning
View Professor Profile
Professor
Professor Profile
Mark Daley
Western University Canada
theoretical computer science
applied machine learning
computational musicology
View Professor Profile
Professor
Professor Profile
Maryellen Giger
University of Chicago United States of America
computer-aided diagnosis
computer vision
machine learning
View Professor Profile
Professor
Professor Profile
Kristina Shea
ETH Zurich Switzerland
computer-aided design
machine learning
computational tools
View Professor Profile
Professor
Professor Profile
Ralf Peeters
Maastricht University Netherlands
computer algebra
machine learning
mathematical modelling
View Professor Profile
Professor
Professor Profile
Quanling Deng
Australian National University Australia
computational mathematics
applied machine learning
applied mathematics
View Professor Profile
Professor
Professor Profile
James Peters
University of Manitoba Canada
computational proximity
applied mathematics
computer vision
View Professor Profile
First
Prev
Page 1 | 9940 Results
Next