Link to University of Waterloo Website Experts

2 results for "Lightweight specifications":

Photo of Patrick Lam

Patrick Lam

Expert In:

  • Lightweight specifications
  • Compilers
  • Cybersecurity
  • Infrastructure integrity
View Profile
Photo of Derek Rayside

Derek Rayside

Expert In:

  • Lightweight formal methods
  • Specification
  • Autonomous vehicles
  • Blockchain
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