Career History
University (1999-present)
I have held different positions at Ludwig-Maximilians-University Munich since 1999
- 2015 - present: Professor for programming and software technology
- 2010 - 2015: Project Manager of the ASCENS IST Project
- 2006 - 2010: Executive Manager of the SENSORIA IST Project
- 2003 - 2006: Senior Researcher
- 1999 - 2003: Researcher
Some noteworthy activities during that time:
- Served as expert witness in the antitrust proceedings of the European Union versus Microsoft (COMP/37.792, working on behalf of Morgan, Lewis & Bockius LLP).
- Served as external referee for the ERC Starting Grant Projects 2013 and as expert for FET Open grant evaluation in 2009 and 2010.
- Coauthored the successful grant proposals for the ASCENS, SENSORIA, Reflect, InterLink - and Beyond-the-Horizon IST-FET EU Projects.
- Served as rapporteur for the Beyond-the-Horizon Thematic Group 6 on Software Intensive Systems.
- Served as deputy leader of the InterLink Work Group on Software-Intensive Systems and New Computing Paradigms.
Freelance Consultant
I worked as freelance consultant from 1999 - 2006. During that time I
- specified and implemented information systems for small and medium enterprises and
- designed and Developed custom software
Due to the time required to manage the SENSORIA and ASCENS projects I had to reduce my consulting work to a minimum from 2006 - 2015. I have resumed consulting work in 2015, but now with a stronger focus on applying the results of my research, in particular
- practical applications of machine learning and automated reasoning techniques in areas such as robotics and avatars for games,
- using soft constraints and other constraint-based techniques to optimize decisions based on large data sets, e.g., selection of prospective clients based on behavioral data
- improving software architecture and development processes.
Education
- 2001: Doctorate in Computer Science (Doktor der Naturwissenschaften, Fakultät für Mathematik und Informatik der Ludwig Maximilians-Universität München)
- 1999: Diploma in Mathematics (Diplom Mathematiker (Univ.), Fakultät für Mathematik und Informatik der Ludwig-Maximilians-Universität München)
Publications
Books
- Matthias Hölzl: Engineering Awareness-Based Autonomic Ensembles, To appear, 2016.
- Matthias Hölzl, Allaithy Raed, Martin Wirsing: Java kompakt - Eine Einführung in die Software-Entwicklung mit Java. Springer Vieweg, 2013.
Edited Books
- Martin Wirsing, Matthias M. Hölzl, Nora Koch, Philip Mayer: Software Engineering for Collective Autonomic Systems - The ASCENS Approach. LNCS 8998. Springer 2015.
- Martin Wirsing, Matthias Hölzl, editors: Rigorous Software Engineering for Service-Oriented Systems - Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing. LNCS 6582. Springer, 2011.
- Martin Wirsing, Jean-Pierre Banâtre, Matthias Hölzl, and Axel Rauschmayer, editors: Software-Intensive Systems and New Computing Paradigms. LNCS 5380. Springer, 2008.
Other Scientific Publications
See (DBLP)[http://dblp.uni-trier.de/pers/hd/h/H=ouml=lzl:Matthias_M=].
Teaching
Summer Schools and Virtual Lectures
- 2015: ASCENS Summer School:
- 2013: AWASS Summer School: “Robot Swarms as Ensembles of Cooperating Components’’
- 2012: AWARENESS Virtual Lecture Series: “Adaptation and Awareness in Robot Ensembles”
Courses at Ludwig-Maximilians-Universität München
- 2015 - 2016: “Softwaretechnik” (Bachlor)
- 2015: “Formale Techniken der Software-Entwicklung” (Master)
- 2014: “Formale Techniken der Software-Entwicklung” (Master)
- 2013: Bachelor- und Master Seminar “Engineering Intelligent Distributed Systems”
- 2010 - 2011: Hauptseminar “Modellierung Dynamischer und Adaptiver Systeme”
- 2010: Programmierung und Modellierung
- 2009: Hauptseminar “Adaptive Systeme”
- 2008: Hauptseminar “Empirische Studien zum Software Engineering”
- 2007 - 2008: Hauptseminar “Constraint Satisfaction”
- 2006 - 2007: Hauptseminar “Modellierung und Analyse nichtfunktionaler - Eigenschaften in der dienstorientierten Software-Entwicklung”
- 2005 - 2006: Informatik I
- 2005: Software-Entwicklungspraktikum
- 2004 - 2005: Entwurf und Implementierung paralleler Programme
- 2004 - 2005: Hauptseminar “Web-Services”
- 2004: Informatik IV
- 2004: Hauptseminar “Verfahren zur automatischen Programmanalyse”
- 2003 - 2004: Einführung in die Informatik: Programmierung und Software-Entwicklung
- 2003: Informatik II
- 2002 - 2003: Informatik I
- 2002 - 2003: Hauptseminar: “Aspektorientierte Programmierung und Software-Entwicklung”
- 2002: Einführung in die Informatik: Systeme und Anwendungen
- 2001 - 2002: Einführung in die Informatik: Programmierung und Software-Entwicklung
- 2000: Einführung in die Informatik: Systeme und Anwendungen