Link to expertisefinder.com

7 experts in "logic in computer science" found:

Profile photo of Bruce Kapron, expert at University of Victoria

Bruce Kapron

Expert In:

  • Logic in computer science
  • Computational Complexity
  • Cryptography
  • Cryptology
View Profile
Profile photo of Shai Ben-David, expert at University of Waterloo

Shai Ben-David

Expert In:

  • Mathematical logic and applications in computer science
  • Clustering
  • Computational statistics
  • Human centred applications of machine learning
View Profile
Profile photo of Assaf Kfoury, expert at Boston University

Assaf Kfoury

Expert In:

  • Computer science and mathematical logic
  • Theoretical computer science
View Profile
Profile photo of Matthew Valeriote, expert at McMaster University

Matthew Valeriote

Expert In:

  • Mathematical logic
  • Theoretical computer science
View Profile
Profile photo of Michael Sipser, expert at Massachusetts Institute of Technology

Michael Sipser

Expert In:

  • Mathematical logic
  • Theoretical computer science
  • Algorithms
  • automata theory
View Profile
Default profile photo

Bob Coecke

Expert In:

  • Dynamic and epistemic logic
  • Quantum computer science
  • Category theory
  • Diagrammatic languages
View Profile
Profile photo of Prabhakar Ragde, expert at University of Waterloo

Prabhakar Ragde

Expert In:

  • Computer science education
  • Type theory and logic
  • Algorithms and complexity
  • Certified software
View Profile

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

Powered by Link to expertisefinder.com