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)