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, Decembe r 1998.[Postscript]

  • Events in Linear-Time Properties. Presented at International Symposium on Requirements Engineering, Limerick, Ireland, June 1999.[Postscript]
    •