Link to University of Waterloo Website Experts

2 results for "Automated reasoning":

Photo of Arie Gurfinkel

Arie Gurfinkel

Expert In:

  • Automated reasoning
  • Automated program analysis
  • Abstract Interpretation
  • Application security
View Profile
Photo of Kate Larson

Kate Larson

Expert In:

  • Automated negotiation
  • Resource bounded reasoning
  • Artificial intelligence
  • Coalition formation
View Profile
© | University of Waterloo | 200 University Avenue West, Waterloo, Ontario, Canada N2L 3G1 | (519) 888-4567
Powered by
Link to Kosmos Directory Software by Expertise Finder