Dipl.-Inf. Robert Grabowski
PhD Student
| E-Mail: | robert.grabowski@ifi.lmu.de |
| Phone: | +49-89-2180-9864 |
| Fax: | +49-89-2180-9338 |
| Adress: | Lehr- und Forschungseinheit für Theoretische Informatik Institut für Informatik Ludwig-Maximilians-Universität München |
| Oettingenstr.67, D-80538 München | |
| Room: | E105 |
Publications
Projects
PolyNI: Verification of polymorphic noninterference for mobile code
Previous projects
- InfoZert: Verification and Certification of Information Flows
- Mobius: Mobility, Ubiquity and Security
Teaching
- WS 2009/10: Compiler Construction Course (in German)
Document Actions