Link to University of Waterloo Website Experts

7 results for "Program analysis":

Photo of Vijay Ganesh

Vijay Ganesh

Expert In:

  • Program analysis
  • Automated testing
  • Computer security
  • Formal methods
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:

  • Static and dynamic program analysis
  • Programming languages
  • Autonomous vehicles
  • Blockchain
View Profile
Photo of Patrick Lam

Patrick Lam

Expert In:

  • Pointer analysis
  • Program verification
  • Static analysis
  • Compilers
View Profile
Photo of Peter Angelo

Peter Angelo

Expert In:

  • Comprehensive Engineering program
  • Failure analysis, modelling, and projection
  • Advanced and nano- materials
  • Authentic technical teaching and assessment modalities
View Profile
Photo of David Fuller

David Fuller

Expert In:

  • Energy Policy Analysis
  • Math Programming Models of Market Equilibrium
  • Decomposition of Equilibrium Models
  • Electricity Market Models
View Profile
Photo of Lena Ahmadi

Lena Ahmadi

Expert In:

  • Data analysis
  • Programming
  • Mechanical
  • Numerical simulation
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