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).