10 Dec 2002 kiniry   » (Journeyer)

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.

Latest blog entries     Older blog entries

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!