Link to expertisefinder.com

2 experts in "automated program analysis" found:

Profile photo of Arie Gurfinkel, expert at University of Waterloo

Arie Gurfinkel

Expert In:

  • Automated program analysis
  • Automated reasoning
  • Program Verification
  • Abstract Interpretation
View Profile
Profile photo of Vijay Ganesh, expert at University of Waterloo

Vijay Ganesh

Expert In:

  • Automated testing
  • Program analysis
  • Computer security
  • Formal methods
View Profile

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

Powered by Link to expertisefinder.com