Derek Rayside, University of Waterloo
Associate Professor
Director, Software Engineering
Waterloo, Ontario
drayside@uwaterloo.ca
Office:
(519) 888-4567 ext. 32840
Expert In
Autonomous vehicles
Blockchain
Cybersecurity
Debugging
Decision support
Design evolution
Engineering design
Extraction/reverse engineering
Infrastructure integrity
Lightweight formal methods
Multi-objective optimization
Programming languages
Software design
Software engineering
Specifically verification of Smart Contracts
Specification
Static and dynamic program analysis
Verification
Visualization