Current members of our group

Michael Thielscher

Conrad Drescher

Matthias Fichtner

Yves Martin

Stephan Schiffel

Former members of our group

Yi Jin

Wiratna Sari Wiguna continues her studies in Computational Logic.

Matthias Knorr continues his studies in Computational Logic.

Markus Krötzsch now works at the University of Karlsruhe.

Iman Narasamdya is now a PhD student at The University of Manchester.

Faisal R. Shaukat is about to finish his studies in Computational Logic.

Boon Chong Tan