Florian Lasinger

Research Assistant

Department:

Department of Programming and Software Engineering
Institut für Informatik
Ludwig-Maximilians-Universität München

Bureau:

Oettingenstraße 67
Room E 10

Project:

InfoZert Verification and Certification of Information Flows

Interests:

Automatic Verification
Error-free Software
Complexity

Address:

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

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