Assistant professor of electrical and computer engineering
519-888-4567, ext. 32866
Location:
Davis Centre (DC) 2530
A world-renowned researcher in the area of automated reasoning for automated bug-finding and software analysis.
Link to Personal Website or CV: