Timo has recently completed his PhD in the Vienna logic group and will is working with David, Tristan, and Marius on logic-based systems modelling and its associated logical theory. We are also collaborating with Didier Galmiche’s group at Université deLorraine and LORIA, Nancy.
Welcome to Timo Lang
interfacereasoning.com 