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
