Link to expertisefinder.com

2 experts in "program semantics" found:

Profile photo of Jeffrey Zucker, expert at McMaster University

Jeffrey Zucker

Expert In:

  • Program semantics
  • Automatic proof checking
  • Computability over abstract algebras
  • Computation logic theory
View Profile
Default profile photo

Jacques Carette

Expert In:

  • Game design programming
  • Generative programming
  • Programming languages semantics
  • Computations by computer
View Profile

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

Powered by Link to expertisefinder.com