Curriculum Vitae

Or who is this guy anyway?

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