Dipl.-Inf. Robert Grabowski
Wissenschaftlicher Mitarbeiter
E-Mail: | robert [dot] grabowski [at] ifi [dot] lmu [dot] de |
Telefon: | +49-89-2180-9864 |
Fax: | +49-89-2180-9338 |
Adresse: | Lehr- und Forschungseinheit für Theoretische Informatik Institut für Informatik Ludwig-Maximilians-Universität München |
Oettingenstr. 67, 80538 München | |
Raum: | E 105 |
Veröffentlichungen
Projekte
- PolyNI: Verification of polymorphic noninterference for mobile code
Abgeschlossene Projekte
- InfoZert: Verification and Certification of Information Flows
- Mobius: Mobility, Ubiquity and Security
Lehre
- WS 2009/10: Praktikum Compilerbau
Artikelaktionen