Link to University of Waterloo Faculty of Mathematics Website

4 results for "Verification":

Photo of Derek Rayside

Derek Rayside

Expert In:

  • Verification
  • Cybersecurity
  • Debugging
  • Decision support
View Profile
Photo of Vijay Ganesh

Vijay Ganesh

Expert In:

  • Testing, Analysis, Verification, and Security of AI Systems
  • Testing, Analysis, Verification, and Security of Software
  • NeuroSymbolic AI
  • Proof Complexity and Mathematical Logic
View Profile
Photo of Patrick Lam

Patrick Lam

Expert In:

  • Program verification
  • Compilers
  • Cybersecurity
  • Infrastructure integrity
View Profile
Photo of Hiren Patel

Hiren Patel

Expert In:

  • System-level design and verification methodologies
  • Communications and access
  • Compilers
  • Computer architecture
View Profile
© | University of Waterloo Faculty of Mathematics | 200 University Avenue West, Waterloo, Ontario, Canada N2L 3G1 | (519) 888-4567
Powered by
Link to Kosmos Directory Software by Expertise Finder