Computer Aided Theorem Proving Professors in Global

Search By
Location
Location
Searching Globally
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
Heiko Dietrich
Monash University Australia
computational group theory
computational algebra
View Professor Profile
Professor
Professor Profile
Wuyang Chen
Simon Fraser University Canada
automated machine learning
computer vision
physics-informed machine learning
View Professor Profile
Professor
Professor Profile
Angelica Aviles Rivero
University of Cambridge United Kingdom
computational mathematics
machine learning
mathematical modelling
View Professor Profile
Professor
Professor Profile
Daisuke Nagai
Yale University United States of America
computational cosmology
theoretical modeling
View Professor Profile
Professor
Professor Profile
Fabricio Vasselai
University of Illinois United States of America
computational game theory
computational electoral studies
machine learning
View Professor Profile
Professor
Professor Profile
Jayadev Acharya
Cornell University Netherlands
algorithmic information theory
machine learning
information-constrained inference
View Professor Profile
Professor
Professor Profile
Andrea Puhm
University of Amsterdam Netherlands
advanced computational methodologies
computational physics
View Professor Profile
Professor
Professor Profile
Satish Thittamaranahalli
University of Southern California United States of America
computational physics
machine learning
model-based reasoning
View Professor Profile
Professor
Professor Profile
Satish Thittamaranahalli
University of Southern California United States of America
computational physics
machine learning
model-based reasoning
View Professor Profile
Professor
Professor Profile
Simone Loreti
University of Bern Switzerland
computational physics
mathematical modelling
View Professor Profile
Professor
Professor Profile
Dannie Durand
Carnegie Mellon University United States of America
computational molecular biology
computational genomics
View Professor Profile
Professor
Professor Profile
Guido Montúfar
University of California Los Angeles United States of America
mathematical machine learning
View Professor Profile
Professor
Professor Profile
Sushant Sachdeva
University of Toronto Canada
mathematical machine learning
View Professor Profile
Professor
Professor Profile
Radu Zmeureanu
Concordia University Canada
computer modeling of energy performance
View Professor Profile
Professor
Professor Profile
David Wallace
Massachusetts Institute of Technology United States of America
computer-aided industrial design
View Professor Profile
Professor
Professor Profile
David Jeffrey
Western University Canada
computer-algebra systems
View Professor Profile
Professor
Professor Profile
Ekaterina Rapinchuk
Michigan State University United States of America
computational mathematics
machine learning
View Professor Profile
Professor
Professor Profile
Devin Silvia
Michigan State University United States of America
computational mathematics
View Professor Profile
Professor
Professor Profile
Rongrong Wang
Michigan State University United States of America
computational mathematics
View Professor Profile
Professor
Professor Profile
Ahmed Ghoniem
Massachusetts Institute of Technology United States of America
computational mathematics
View Professor Profile
First
Prev
Page 1 | 1144 Results
Next