Link to University of Waterloo Website Experts

4 results for "Program verification":

Photo of Patrick Lam

Patrick Lam

Expert In:

  • Program verification
  • Program understanding
  • Compilers
  • Cybersecurity
View Profile
Photo of Arie Gurfinkel

Arie Gurfinkel

Expert In:

  • Automated program analysis
  • Program Verification
  • Abstract Interpretation
  • Application security
View Profile
Photo of Derek Rayside

Derek Rayside

Expert In:

  • Specifically verification of Smart Contracts
  • Static and dynamic program analysis
  • Verification
  • Programming languages
View Profile
Photo of Vijay Ganesh

Vijay Ganesh

Expert In:

  • Program analysis
  • Testing, Analysis, Verification, and Security of AI Systems
  • Automated testing
  • Computer security
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