Software Design Group
I am currently a member of Daniel Jackson's Software Design Group.
My recent publications can be found on the group publications
page.
University of Waterloo
In spring 2010 I will begin as an Assistant Professor in Electrical & Computer Engineering at the University of Waterloo.