Associate ProfessorDavid R. Cheriton School of Computer Science
University of Waterloo
I investigate the use of models and formal analysis to improve the quality and safety of software-intensive systems. I work mainly at the requirements level on models of system behaviour. I am particularly interested in providing configurable, optimized tools and methodologies to support the use of custom, formal models in specific domains. I use a range of formal analysis tools: theorem provers, model checkers, SMT and SAT solvers.I am also very interested in computer science outreach activities. I volunteer at elementary schools to introduce computing to students and participate in related activities with UW's Centre for Education in Mathematics and Computing.
I currently serve as a Graduate Student Advocate in the Cheriton School of Computer Science.Areas of research: software engineering, model-driven engineering (MDE), modelling and analysis, formal methods, system safety, requirements specification and analysis.
Research Groups: Waterloo Formal Methods (WatForm), Software Engineering Lab.
Brief Bio: I arrived at the University of Waterloo in January, 2001. Previously, I was a Postdoctoral Research Associate at the Oregon Graduate Institute. I completed my PhD at the University of British Columbia in October 1998 working with Dr. Jeff Joyce. My undergraduate degree is from the University of Western Ontario, where I spent much of my time running with the cross-country and track and field teams. My work has won awards at MODELS (International Conference on Model-Driven Engineering, Languages and Systems) and ISSC (International System Safety Conference).
David R. Cheriton School of Computer Science, University of Waterloo
Last modified on Tuesday 24th of January 2017 10:49:57 AM