Lecturer (aka Assistant Professor), School of Computer Science and Informatics, University College Dublin, Dublin, Republic of Ireland

Previously: Postdoctoral Scholar, Security of Systems (SoS) Group, Computing Science Institute, Radboud University Nijmegen, Nijmegen, The Netherlands.

PhD in Computer Science earned at Caltech in 2002.


I'm interested in software engineering, distributed systems, object-oriented systems and languages, components, type and object theories, semantics, knowledge representation, and systems modeling.

I'm the guy responsible for many pieces of software including ESC/Java2, the Mobius Interactive Verification Environment, Jikie, the IDebug framework, KindFTP, the elate port of SmartEiffel, and I maintain OBJ3. I have also contributed to numerous FLOSS projects including Emacs, gcc, etc.

I'm also an independent consultant and have started several companies and I am the Chair of NICE.