Florian Lasinger

Wissenschaftlicher Mitarbeiter

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 E 10

Projekt:

InfoZert Verifikation und Zertifikation von Informationsflüssen

Interessen:

Automatische Verifikation
Fehlerfreie Software
Komplexität

Anschrift:

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

Tel.: +(49) 89 2180 9134
EMail: nachname at informatik.uni-muenchen.de