Ludwig-Maximilians-Universität München, Institut für Informatik,
Lehr- und Forschungseinheit für Programmierung und Softwaretechnik

Prof. Dr. Alexander Knapp   

Juniorprofessor

Abteilung:

Lehr- und Forschungseinheit für Programmierung und Softwaretechnik
Institut für Informatik
Ludwig-Maximilians-Universität München

Büro:

Oettingenstraße 67
Zimmer E0.6

Sprechstunde:

Montag, 10-11 Uhr
oder nach Vereinbarung

Mentorenstunde:

Montag, 11-12 Uhr

Forschungsgebiet:

Formale Softwareentwicklung

Semantik von Programmiersprachen

Projekte:

EPKfix (Methoden und Werkzeuge zur effizienten Erstellung elektronischer Produktkataloge, 1995-1996; BMBF)

CafeOBJ (Algebraische Methoden in der formalen Softwareentwicklung, 1996-1998)

Denotationelle Semantik für objektorientierte Sprachen mit Nebenläufigkeit (2000-2002; DAAD)

PUSH (Prozeßgesteuerte Umgebung zur Softwareherstellung, 1998-2004)

HUGO (UML-Modelchecking, 2000-)

InfoZert (Informationsflußsicherheit basierend auf einer PCC-Architektur, 2006-; DFG)

Veröffentlichungen

Quelltexte:

Fallstudien für CafeOBJ

Fallstudien für fOOSE

Anschrift:

Ludwig-Maximilians-Universität München
Institut für Informatik
Oettingenstraße 67
D-80538 München
Deutschland

Fspr.: +(49) 89 2180 9179
Fax: +(49) 89 2180 9152/75
Epost: nachname "at" pst.ifi.lmu.de
URL: http://www.pst.ifi.lmu.de/~knapp/