Dr. Nils Bulling
Transformational Leadership · Strategy, Technology & Innovation
More Website Templates @ TemplateMonster.com - June 02, 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.