Older blog entries for kiniry (starting at number 2)

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 www.dalilab.com for more information on Dali - we're hiring!