Michel Ludwig

Currently, I am a postdoctoral researcher associated with the Center for Advancing Electronics Dresden (cfAED).

Previously, I worked as a research associate on the EPSRC projects "Logical Difference for Ontology Versioning" and "Composing and decomposing ontologies: a logic-based approach" in the Department of Computer Science at the University of Liverpool, UK. And even before that, I was a PhD student in the Department of Computer Science at the University of Liverpool, where I wrote a thesis on resolution-based methods for linear time temporal logics.

Contact

Office:
Room 3032
Nöthnitzer Strasse 46
D-01187 Dresden
Germany
Postal Address:
Technische Universität Dresden
Fakultät Informatik
Institut für Theoretische Informatik
D-01062 Dresden
Germany
E-mail:
michel@tcs.inf.tu-dresden.de

Publications

A more or less up-to-date list of publications is available here.

Software

The automated theorem prover TSPASS can be found here, and the tool CEX2 is available from here.