About  |  Study  |  Members  |  Projects  |  Publications  |  Events  |  Search  |  Internals  |  Contact & Imprint

Prof. Michael Thielscher

Professor for Computational Logic

Michael Thielscher Michael Thielscher received his PhD with distinction from Darmstadt University of Technology. He was awarded a Post Doctoral grant to spend the academic year 1995/96 at the International Computer Science Institute in Berkeley.

In 1997, he joined the faculty of the Computer Science Department of the Technische Universität Dresden.

In 1998, his habilitation thesis was honored with the award for research excellence by the alumni of Darmstadt University of Technology.

He has been a guest researcher at Imperial College in London at the University of Toronto and at the University of New South Wales in Sydney.

His research interests include Cognitive Robotics, simulation and verification of dynamic systems, and applying computational logic to common sense knowledge. He has published over 60 papers and two books.

Although way beyond the ideal age, he still enjoys riding the snow boards.