Link to University of Waterloo Website Experts

4 results for "Mathematical Logic":

Photo of Barbara Csima

Barbara Csima

Expert In:

  • Mathematical Logic
View Profile
Photo of Vijay Ganesh

Vijay Ganesh

Expert In:

  • Proof Complexity and Mathematical Logic
  • NeuroSymbolic AI
  • SAT/SMT Solvers
  • Testing, Analysis, Verification, and Security of AI Systems
View Profile
Photo of Shai Ben-David

Shai Ben-David

Expert In:

  • Mathematical analysis of learning algorithms
  • Mathematical logic and applications in computer science
  • Clustering
  • Computational statistics
View Profile
Photo of Dave DeVidi

Dave DeVidi

Expert In:

  • Logic
  • Mathematics
  • Autism
  • Constructivism
View Profile
© | University of Waterloo | 200 University Avenue West, Waterloo, Ontario, Canada N2L 3G1 | (519) 888-4567
Powered by
Link to Kosmos Directory Software by Expertise Finder