In March, 2006, I gave an introductory talk on well and better quasi orders together with Rachel Sterken. Slides Handout

In June 2005 I investigated in joint work with Laura Rimell methods to relate time intervals in natural language text of English language using the XML-based markup language TimeML. Report

In May 2005 I compared in joint work with Laura Rimell and Höskuldur Hlynnson the XPath query engines Galax and Saxon for their runtime behaviour on equivalent queries. Report Presentation

In my Bachelor Thesis - the defense was in February, 2005 - I introduced modal fixed point operators in the coalgebraic class specification language CCSL. My work was supervised by Hendrik Tews. Paper Slides

In January 2005 I gave a talk on the state-explosion problem in model checking in (A)CTL(*). Paper Slides