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 
• Algebraische Spezifikationstechniken 
• Methodik des Programmierens 
• Funktionale und objektorientierte Programmierung 
• Semantik von Spezifikations- und Programmiersprachen 
• Softwaretechniken für Hypermedia-Anwendungen 

Lehrveranstaltungen:

• Lehrveranstaltungen im WS 2004/2005:
  • Einführung in die Informatik: Programmierung und Software-Entwicklung (Nebenfach Informatik),
  • Methoden des Software-Engineering,
  • Hauptseminar "Web-Services",
  • Informatik-Oberseminar "Methoden und Theorie der Software-Entwicklung",
  • Kolloquium des Graduiertenkollegs: Informatik und Logik, (unsere Beteiligung),
  • Fortgeschrittenenpraktika und Diplomarbeiten, Dissertationen,
  • Informatik-Kolloquium
• Weitere Lehrveranstaltungen 

Aktuelle Projekte

Tätigkeiten:

• Senator der Ludwig-Maximilians-Universität

• Vertrauensdozent der Studienstiftung des Deutschen Volkes

• Sprecher der GI-Fachgruppe 0.1.7 "Spezifikation und Semantik"

• Mitglied der Programmkomitees folgender Konferenzen:
  • IASTED International Conference on Software Engineering (SE 2004), Innsbruck, Austria from February 17- February 19, 2004.  
  • Third AMAST Workshop on Algebraic Methods in Language Processing (AMiLP-3), Verona, Italy, 25-27 August 2003  
  • Foundations of Global Computing, Eindhoven, The Netherlands, June 28-29, 2003. The Workshop is associated to ICALP 2003  
  • 16th International Workshop on Algebraic Development Techniques (WADT 2002) 
  • 9th International Conference on Algebraic Methodology And Software Technology (AMAST'2002) 
  • 4th International Workshop on Rewriting Logic and its Applications (WRLA 2002) 
  • FoSSaCS 2002 - Foundations of Software Science and Computation Structures  

• 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ļ. 

• 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

Fax: ++49 89 2180 - 9152

Email: wirsing@informatik.uni-muenchen.de

URL: http://www.pst.informatik.uni-muenchen.de/personen/wirsing/

Sekretärin:

Marianne Diem

---

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