Professor Dr. Martin Wirsing

---

Martin Wirsing

Ordinarius

English version

Abteilung:

Lehr- und Forschungseinheit für Programmierung und Softwaretechnik

Institut für Informatik

Ludwig-Maximilians-Universität München

Büro:

Oettingenstr. 67

Zimmer 058

Sprech- und Mentorenstunden

Mentorenstunde: Dienstag 10-11 Uhr (nach Anmeldung)

Sprechstunde: Dienstag 11-12 Uhr

Forschungsgebiete:

• Software-Entwicklung unter Einbeziehung formaler Methoden 
• Systematische Entwicklung dienst-orientierter Systeme 
• Algebraische Spezifikationstechniken 
• Objekt- und dienst-orientierte Programmierung 
• Semantik von Spezifikations- und Programmiersprachen 
• Softwaretechniken für Web- und Hypermedia-Anwendungen 

Lehrveranstaltungen:

• Lehrveranstaltungen im SS 2006:
  • Informatik II ,
  • Software-Entwicklungspraktikum,
  • Informatik-Oberseminar "Methoden und Theorie der Software-Entwicklung",
  • Fortgeschrittenenpraktika und Diplomarbeiten, Dissertationen,
  • Informatik-Kolloquium
• Weitere Lehrveranstaltungen 

Aktuelle Projekte

Tätigkeiten:

• Direktor des Instituts für Informatik 
• Sprecher der GI-Fachgruppe 0.1.7 "Spezifikation und Semantik"

• Mitglied der Programmkomitees folgender Konferenzen:
  • European Symposium on Programming (ESOP 2007), Braga, Portugal, March 24 - April 1, 2007.  
  • Dagstuhl Seminar on Autonomic Web Services, Schloss Dagstuhl, Germany, Februar 04-09, 2007.  
  • 3rd International Colloquium on Theoretical Aspects of Computing (ICTAC 2006), Vienna, Austria, 8-9 September 2006.  
  • 3rd International Workshop on Web Services and Formal Methods (WS-FM 2006), Vienna, Austria, 8-9 September 2006.  
  • Formal Methods 2006, McMaster University, Hamilton, Ontario, Canada, August 21 - 27, 2006.  
  • 11th International Conference on Algebraic Methodology and Software Technology (AMAST'06), Kuressaare, Estonia, 5-8 July 2006.  
  • 6th International Workshop on Rewriting Logic and its Applications (WRLA 2006), Vienna, Austria, April 1-2, 2006.  
  • M O D E L L I E R U N G 2006, Innsbruck, 21.-24. März 2006.  

• IFIP Working Groups:
  • WG 1.3 - Foundations of System Specification 

• Mitglied des wissenschaftlichen Beirats folgender Forschungsinstitutionen:
  • INRIA ("Institut National de Recherche en Informatique et en Automatique"),
  • LORIA ("Laboratoire Lorrain de Recherche en Informatique et Automatique"),
  • Institut de la Francophonie pour l'Informatique, Hanoï. 
  • John von Neumann Minerva Center for the Development of Reactive Systems. 
  • IMT - Lucca Institute for Advanced Studies. 
  • FIRST - Fraunhofer Institut für Rechnerarchitektur und Softwaretechnik. 
  • LRZ - Leibniz-Rechenzentrum München  (Kommission für Informatik der Bayer. Akademie der Wissenschaften.) 

• Mitglied der Herausgeberkomitees folgender wissenschaftlicher Zeitschriften und Buchserien:
  • Theoretical Computer Science, 
  • Journal of Computer Science and Technology,  
  • Proc. of the Estonian Academy of Sciences: Engineering, 
  • AMAST Series in Computing, 
  • Studies in Computer Science and Artificial Intelligence. 

Veröffentlichungen: in o.g. Forschungsgebieten (ab 1992)

Anschrift:

Institut für Informatik

Universität München

Oettingenstr. 67

D-80538 München

Germany

NEW TELEPHONE and FAX NUMBERS:

Tel: ++49 89 2180 - 9154 (oder -9151)

Fax: ++49 89 2180 - 9175

Email: w i r s i n g at i n f o r m a t i k dot u n i - m u e n c h e n dot d e

URL: https://www.pst.ifi.lmu.de/personen/wirsing/

Sekretärin:

Marianne Diem

---

LFE Programmierung & Softwaretechnik Institut Fakultät Universität Anfang dieser Seite