I am a graduate student at University of Toronto, Canada. My main intersts are automated reasoning about software systems and software engineering methodologies supporting it.