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.
Thesis Slides

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