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