Software Design Group

University of Waterloo

I am now an Assistant Professor in Electrical & Computer Engineering at the University of Waterloo. My new web page is:

http://ece.uwaterloo.ca/~drayside

Software Design Group

I was previously a member of Daniel Jackson's Software Design Group. My SDG publications can be found on the group publications page.