Board Memberships

• Januar 2016-September 2020: Member of the board of directors of the European Association for Multi-Agent Systems (EURAMAS)
• 2013-2016: Steering committee member of Logical Aspects of Multi-Agent Systems (LAMAS)

Chair and Organisation

• July 2018: Co-chair of the Industrial Applications Track of the 17th International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2018) (jointly with Prof. Ann Nowe).
• May 2016: Co-chair and co-organiser of the 9th Workshop on Logical Aspects of Multi-Agent Systems (LAMAS) (jointly with Dr. Davide Grossi). The workshop will be co-located with AAMAS 2016.
• September 2015: Chair of the Doctoral Consortium of the 13th German Conference on Multi-Agent Systems (MATES 2015).
• December 2014: Program committee chair of the 12th European Conference on Multi-Agent Systems (EUMAS 2014).
• August 2014: PC co-chair and co-organiser of the 15th Workshop on Computational Logic in Multi-Agent Systems (CLIMA) (jointly with Prof. Dr. Leon van der Torre and Dr. Serena Villata). The workshop will be co-located with ECAI 2014 in Prague.
• August 2014: Organizer of the Dagstuhl seminar Formal Methods for Coordinating Multi-Agent Systems together with Prof. Thomas Agotnes (Norway) and Prof. Sascha Ossowski (Spain).
• Mai 2014: PC co-chair and co-organiser of the 6th Workshop on Logical Aspects of Multi-Agent Systems (LAMAS) (jointly with Prof. Dr. Wiebe van der Hoek). The workshop will be co-located with AAMAS 2014.

Editorial Work

• Editor of a special issue on multi-agent systems of the journal Annals of Mathematics and Artificial Intelligence published by Springer. Forthcoming.
• Co-Editor (jointly with Wiebe van der Hoek) of a special issue: logical aspects of multi-agent systems of the journal Studia Logica published by Springer. Forthcoming.
• Co-editor (jointly with J. P. Müller, W. Ketter, G. Wagner, and G. Kaminka) of the Proceedings of MATES 2015: Smart Things Working Together, LNCS 9433, Springer, 2015.
• Editor of the Proceedings of the 12th European Conference on Multi-Agent Systems (EUMAS 2014) published by Springer. 2015.
• Co-editor of the Proceedings of Computational Logic in Multi-Agent Systems (CLIMA XV), LNCS/LNAI, Springer, August 2014.
• Co-Editor (jointly with Prof. Thomas Agotnes) of Formal Methods for Coordinating Multi-Agent Systems (Dagstuhl Seminar 14332). Dagstuhl Reports 4(8): 21-44, 2014.
• Editor of a special issue on Multi-Agent Decision Making of the journal Künstliche Intelligenz published by Springer. Issue 28(3), August 2014.
• Co-editor of the Proceedings of Computational Logic in Multi-Agent Systems (CLIMA XV), LNCS/LNAI, Springer, August 2014.

University Teaching

History of bachelor and master courses that I taught during my employments at Universities.

TU Delft

• Artificial Intelligence Techniques (MSc, 2015)
• Project Multi-Agent Systems (BSc, 2015, 2016)
• Logic-Based Artificial Intelligence (BSc, 2015, 2016)
• Bachelor Seminar (BSc, 2016)

TU Clausthal

• Seminar: Logics, MAS, AI (BSc, SS 2006, SS 2007, SS 2008, WS 2008/09, SS 2011 ,WS 2012/13, SS 2013, SS 2014)
• Informatics III - Automata Theory and Formal Languages (BSc, WS 2006/07, WS 2009/10, WS 2012/13)
• Artificial Intelligence (BSc, SS 2006, SS 2007, SS 2008, SS 2009, SS 2010, SS 2011)
• Seminar: Logic, MAS, AI (MSc, SS 2006, SS 2007, WS 2008/09, WS 2012/13, WS 2014/15)
• Logics for Multi-Agent Systems (MSc, WS 2013/14), Lectureship)
• Verification of Concurrent Systems (MSc, WS 2012/13, Lectureship)
• Introduction to the Modelling and Analysis of Security Protocols (MSc, WS 2011/12, Lectureship)
• Complexity Theory (MSc, WS 2007/08, SS 2011)
• Game Theory (MSc, WS 2014/15),
• Modal Logics (MSc, WS 2008/09, WS 2010/11)
• Multi-Agent Systems II (MSc, SS 2010, SS 2012)

International Courses

Courses that I taught at an international level (summerschools, tutorials, etc.).

• Tutorial on Modelling and Reasoning About Cooperation at the University of Toulouse/IRIT (July 2015, Toulouse, France)
• Multi-Agent Decision Making and Cooperation at at the 17th European Agent Systems Summer School (EASSS’15) (July 2015, Barcelona, Spain)
• Reasoning About Cooperation at at the 15th European Agent Systems Summer School (EASSS’13), jointly given with Dr. Paolo Turrini (July 2013, London, UK)
• Introduction to the Modelling and Verification of, and Reasoning About Multi-Agent Systems at the 14th European Agent Systems Summer School (EASSS’12) in Valencia, Spain, June 2012. Together with Jürgen Dix.
• Logics and Multi-Agent Programming Languages at the 11th International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS’12) in Valencia, Spain, June 2012. Together with Natasha Alechina, Mehdi Dastani and Brian Logan.
• Decision Problems and Decision Procedures for Strategic Logics at the 23rd European Summer School on Logic, Language, and Information (ESSLLI’11) in Ljubljana, Slovenia, August 2011. Together with Wojtek Jamroga.
• Model Checking Temporal and Strategic Logics at the 12th European Agent Systems Summer School (EASSS’10) in St. Etienne, France, August 2010.

PC Membeships (53)

2019