Link to University of Waterloo Website Experts

1 result for "contract programming":

Photo of Derek Rayside

Derek Rayside

Expert In:

  • Programming languages
  • Specifically verification of Smart Contracts
  • Static and dynamic program analysis
  • Autonomous vehicles
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