Link to expertisefinder.com

3 experts in "automated reasoning" found:

Profile photo of James Delgrande, expert at Simon Fraser University

James Delgrande

Expert In:

  • Automated reasoning
View Profile
Profile photo of Arie Gurfinkel, expert at University of Waterloo

Arie Gurfinkel

Expert In:

  • Automated program analysis
  • Automated reasoning
  • Abstract Interpretation
  • Application security
View Profile
Profile photo of Kate Larson, expert at University of Waterloo

Kate Larson

Expert In:

  • Automated negotiation
  • Resource bounded reasoning
  • Artificial intelligence
  • Coalition formation
View Profile

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

Powered by Link to expertisefinder.com