Link to expertisefinder.com

2 experts in "proof complexity and mathematical logic" found:

Profile photo of Vijay Ganesh, expert at University of Waterloo

Vijay Ganesh

Expert In:

  • Foundations of mathematics
  • Mathematical logic
  • Proof Complexity and Mathematical Logic
  • Automated testing
View Profile
Profile photo of Michael Sipser, expert at Massachusetts Institute of Technology

Michael Sipser

Expert In:

  • Complexity theory
  • interactive proof systems
  • Mathematical logic
  • Algorithms
View Profile

© | Expertise Finder | Toronto (Canada) | 1-888-978-5418 | info@expertisefinder.com | Home | Privacy | User Agreement

Powered by Link to expertisefinder.com