User:Kiniry

2006-04-05T20:58:15Z

Kiniry: initial summary

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.

Mailing Lists

2006-04-05T20:49:57Z

Kiniry: typo fix

Here are the various mailing lists you can subscribe to at http://origo.ethz.ch/cgi-bin/mailman/listinfo:
* es-announce@origo.ethz.ch: Announcement (moderated, low traffic)
* es-users@origo.ethz.ch: It is intended for all users of EiffelStudio and its libraries.
* es-devel@origo.ethz.ch: It is intended for all developers of EiffelStudio and its libraries.
* es-changes@origo.ethz.ch: It is intended for those who wants the evolution of the software on a daily basis.

In addition of all those mailing lists, you may find project's specific mailing lists. Consult http://origo.ethz.ch/cgi-bin/mailman/listinfo for the complete list.

The above mailing lists are also mirrored on a newsgroup server at [news://origo.ethz.ch].

EiffelStudio: an EiffelSoftware project - User contributions [en]

User:Kiniry

Mailing Lists