Name: Joseph Kiniry
Member since: 2000-07-22 21:54:39
Last Login: 2007-05-27 14:06:20



I am a computer scientist. See my homepage for information on my fields of interest. I am also an independent consultant and have started five companies to date.

I have written, contributed to, and maintain a great deal of free software. See KindSoftware's home page for some of my products, dig around Freshmeat, and grep through the source of programs like Emacs, Gcc, various Java projects, the Mach kernel, etc. and you'll find me in lots of places.


  • Lead Developer on IDebug
  • Lead Developer on OBJ3
  • Lead Developer on EBON

Recent blog entries by kiniry

In October I started a new position as a Lecturer in the Department of Computer Science at University College Dublin. This department is the top computer science department in Ireland and I have big plans for my new research group, KindSoftware here. Our work focuses on Software Engineering with Applied Formal Methods.

We are immediately hiring several Ph.D./M.Sc. student positions in Autonomic and Pervasive Computing and I will be hiring more Ph.D. and Postdoc positions in Software Engineering with Logic-based Verification of Concurrent Java Systems with Proof-Carrying Code Techniques in the next few months.

I am now a postdoctoral scholar in the SOS (nee' LOOP) group, a part of the ITT Group, at the University of Nijmegen.

Here I work on several projects, though I am mainly focusing on catching up to this amazing group's work. Lately, I have been working on (i) validating a coalgebraic semantics of integral types in Java, (ii) adding features and fixing bugs in the Loop Tool, and (iii) playing with SmartCards.

In my "free" time I consult for Fulcrum Microsystems and work on a few Open Source projects like Extended BON, the Java Modeling Language (JML), and, coming soon, ESC/Java.

I'm just back from TOOLS '00 in Santa Barbara, CA and ALife VII in Portland, OR. The trip was happily for academic and business purposes.

I presented some of my research work to the few theory folks at TOOLS and had lengthy discussions with folks at Oblog, ISE, and MSFT. In particular, I spoke with Dr. Jim Miller, and old collegue of mine who is the project manager for the CLR at MSFT, to understand some of the design decisions that went into CLR. Needless to say, I was thrilled and disappointed at MSFT's lack of intelligence in this domain. See my comments on the O'Reilly interview with Anders Hejlsberg for details.

ALife was interesting mainly because my most active company, DALi, is doing work in this area. We'll be publishing papers at next year's conference and will be co-sponsoring the conference and the new professional organization that the community is starting.

See for more information on Dali - we're hiring!


kiniry certified others as follows:

  • kiniry certified nelsonminar as Journeyer
  • kiniry certified StuC as Apprentice
  • kiniry certified distobj as Journeyer

Others have certified kiniry as follows:

  • sye certified kiniry as Journeyer
  • LotR certified kiniry as Journeyer
  • wtanaka certified kiniry as Journeyer
  • vab certified kiniry as Journeyer

[ Certification disabled because you're not logged in. ]

New Advogato Features

New HTML Parser: The long-awaited libxml2 based HTML parser code is live. It needs further work but already handles most markup better than the original parser.

Keep up with the latest Advogato features by reading the Advogato status blog.

If you're a C programmer with some spare time, take a look at the mod_virgule project page and help us with one of the tasks on the ToDo list!

Share this page