Ludwig-Maximilians-Universität München, Institute of Computer Science
Department of Programming and Software Engineering

Prof. Dr. Alexander Knapp   

Assistant Professor

Department:

Department of Programming and Software Engineering
Institute of Computer Science
Ludwig-Maximilians-Universität München

Bureau:

Oettingenstraße 67
Room E0.6

Areas of Interest:

Formally based software development

Semantics of programming languages

Projects:

EPKfix (Methods and Tools for efficient Design of Electronical Product Catalogues, 1995-1996, BMBF)

CafeOBJ (Algebraic methods in formal software engineering, 1996-1998)

Denotational Semantics for Concurrent Object-Oriented Languages (2000-2002; DAAD)

PUSH (A process-based environment for software engineering, 1998-2004)

HUGO (UML-Modelchecking, 2000-)

InfoZert (Security of information flow based on a PCC architecture, 2006-; DFG)

Publications

Sources:

Cases studies for CafeOBJ

Cases studies for fOOSE

Address:

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

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