Welcome

About me

In 2011 I was appointed Assistant Professor (Akademischer Rat a.Z.) at Clausthal University of Technology.

I am member of the Computational Intelligence Group. In 2008 I was elected as the chairman of the scientific employes and as the deputy member of the faculty Computer Science and Mathematics. Since 2009 I am assistant of the executive board of the Department of Informatics.

I finished my PhD in 2010 on “Modelling and Verifying Abilities of Rational Agents”. For my PhD thesis I was awarded the

• international E.W. Beth dissertation prize (jointly); (It is awarded annually to outstanding dissertations in the fields of Logic, Language, and Information)
• the Förderpreis des Vereins von Freunden from Clausthal University of Technology and

have been nominated for the GI dissertation prize 2010 (Gesellschaft Informatik e.V./ (Association for Informatics)).

Research interests

My research is centered around logics and formal methods for multi-agent systems. The following points characterise my research interests:

• logics (in particular, for analysing cooperation in multi-agent systems)
• formal methods for multi-agent systems
• normative mutli-agent systems
• security protocols and security aspects in multi-agent systems
• game theoretic approaches
• verification of multi-agent systems (model checking)