Research Presentations

  • Program Verification Using the Spec# Programming System, European Joint Conference on Theory and Practice of Software (ETAPS), Budapest , 2008, 29th March

 

  • Encoding Comprehensions as First Order Expressions in Boogie, Programming Languages and Methods Group Meeting, Microsoft Research, Redmond, WA, USA, February 2008

 

  • Automatic Verification of C# programs, Staff Seminar Series Department of Computer Science, NUI Maynooth, Ireland , November 2007

 

  • Automatic Program Verification with Spec#, MOSEL Research Seminar Series, LORIA, Nancy, France, May 2007

 

  • Automatic verification of textbook programs that use comprehensions, Formal Techniques for Java-like Programs, Berlin, Germany , July 2007

 

  • Software Refinement with Perfect Developer, Software and Systems Engineering Seminar Series, NUI Maynooth, (December 2005)

 

  • Problem-Based Learning: A Hybrid Model, Department of Computer Science, Clemson University,  (June 2005)

 

  • Typing in Object Oriented Languages, NUIM/DCU Seminar series, NUI Maynooth, (April 2001)

 

  • A DEBATE with Isabelle, Dept. of Computer Science, NUI Maynooth, (November 1999)

 

  • Tactics for Transformational Programming, IWFM '97, University College Dublin, (July 1997)

 

  • Proving Transformations in Isabelle, IFMSIG Meeting, University College Cork, (November 1996)

 

  • Program Construction by Transformations", Postgraduate Day, University College Dublin, (November 1996)

 

  • Transformational Programming, Dept. of Computer Science, University College Dublin, (September 1996)

 

  • Transformational Programming, Dept. of Computer Science, Technical University Munich, (July 1996)