Selected talks
- Hiring talk. Spring '96 [Postscript]
- Verification of Consistency between Concurrent Program Designs and Their Requirements. Presented at COMPASS'96, June '96 [Postscript]
- Automatic analysis of consistency between requirements and designs.Presented at McMaster University, January '97 [Postscript]
- Formal Methods in Software Development. Presented at Nortel, June '97 [Postscript]
- Whys and Whynots of Software Engineering. Lecture for 11 and 12-graders given as part of Computing Insights, July '97. [Postscript]
- A Look At Checking Program Correctness (Abstract Interpretation). Presented at Celebration of Women in Mathematical, Statistical and Computer Sciences (CWIM'98), Waterloo, Canada, May 1998. [Postscript]
- A (Yet) Another Look at Checking Program Correctness. Presented in BRICS, Aarhus, Denmark, October 1998 [Postscript].
- SCR^3: Towards Usability of Formal Methods. Presented at CASCON'98, Toronto, December 1998.[Postscript].
- Applying Formal Methods to a Telecommunications System in a Commercial Setting. Presented at International Conference on Software Engineering and Applications, Paris, December 1998.[Postscript]
- Events in Linear-Time Properties. Presented at International Symposium on Requirements Engineering, Limerick, Ireland, June 1999.[Postscript]