Postal Address: Marcel Lippmann Technische Universität Dresden Faculty of Computer Science Institute of Theoretical Computer Science D-01062 Dresden, Germany

Visiting Address, Phone, Email: Room 3024 Nöthnitzer Straße 46, 01187 Dresden Phone: (+49) (3 51) 4 63-3 83 51 Fax: (+49) (3 51) 4 63-3 79 59 Email:

I am a research and teaching assistant at the Institute of Theoretical Computer Science of the Faculty of Computer Science of Technische Universität Dresden. I am working at the Chair of Automata Theory headed by Prof. Dr.-Ing. Franz Baader.

• Knowledge representation using Description Logics (DLs)
• Temporal DLs
• Verification techniques
• Situation/Context awareness
• DL-based action formalisms

A PDF file containing a list of all my publications can be found here.

Links to the papers, BibTeX entries and abstracts can be found on the chair's list of publications and list of technical reports, respectively.

I have reviewed papers for the following conferences: CiE 2012, and LATA 2012.

I hold/held exercise sessions for the following lectures:

• "Automata and Logic" (SS 2012)
• "Introduction to Complexity Theory" (SS 2012)
• "Term Rewriting Systems" (WS 2011/12)
• "Grundlagen der theoretischen Informatik II" (WS 2008/09, WS 2007/08)
• "Grundlagen der theoretischen Informatik" (SS 2008, SS 2007)

Also, I supervise(d) students in the following seminars:

• "Unkonventionelle Berechnungsmodelle" (SS 2012)
• "Selected Topics in Automata Theory" (WS 2011/12)