Derek Rayside
Associate Professor
Director, Software Engineering
Faculty of Engineering
Software Engineering
Faculty of Mathematics
David R. Cheriton School of Computer Science
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
Links
Media Relations
Rebecca (Becky) Elming
Director, Media Relations and Issues Management
(647) 459-8313
relming@uwaterloo.ca
Director, Media Relations and Issues Management
(647) 459-8313
relming@uwaterloo.ca