about

         I studied Architecture & History between 1991 and 1993 at the University of Dortmund, Mathematics & Philosophy between 1993 and 1995 at the University of Bochum, Computer Science & Mathematics at the University of Sussex at Brighton from 1995 to 1996, and Mathematics & Philosophy at Humboldt University at Berlin and Free University Berlin between 1996 and 2000.

         In 2000, I obtained an M.Sc. degree (''Diplom in Mathematik'') from Humboldt University with a thesis on Kripke-type semantics for modal predicate logics, supervised by Marcus Kracht and Ronald B. Jensen.

         I started working with Frank Wolter in late 2000 in a DFG funded project on the combination of Modal and Description Logics for the representation of intensional and dynamical knowledge, first, in the Intelligent Systems Department at the University of Leipzig, and, since the project has moved to Liverpool in 2003, as a Research Associate in the Logic and Computation Group at the University of Liverpool.

         In 2004, I received my Ph.D. from the University of Liverpool with a thesis on E-connections and Logics of Distance, supervised by Frank Wolter, and refereed by Wiebe van der Hoek and Melvin C. Fitting. I received a BCS/CPHC Distinguished Dissertations Award (Finalist) in the 2004/2005 competition.

         I moved to Manchester in late 2004 where I am currently a Research Associate in the Information Management Group, working with Ulrike Sattler in an EPSRC funded project on extending expressive Description Logics.