Link to expertisefinder.com

2 experts in "proof theory" found:

Profile photo of Jeffrey Zucker, expert at McMaster University

Jeffrey Zucker

Expert In:

  • Automatic proof checking
  • Computation logic theory
  • Proof theory
  • Computability over abstract algebras
View Profile
Profile photo of Michael Sipser, expert at Massachusetts Institute of Technology

Michael Sipser

Expert In:

  • automata theory
  • Complexity theory
  • interactive proof systems
  • Algorithms
View Profile

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

Powered by Link to expertisefinder.com