User:Kiniry

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.

   * mailto:kiniry@acm.org
   * http://secure.ucd.ie/~kiniry/

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.