Photo of Robert Grabowski

Robert Grabowski

I was a PhD student in Computer Science at Ludwig-Maximilians-Universität in Munich, Germany. My advisor was Prof. Martin Hofmann (Theoretical Computer Science).

My research interests include the static analysis of secure information flows and noninterference on mobile devices, as well as type systems to enforce security-improving "best programming practices". Earlier, I focused on grammar formalisms for natural languages and computational linguistics.

Since January 2012, I work in Berlin as a researcher and software developer at Acrolinx, who create natural language processing software that checks documents for grammar, style, terminology and other issues.


phone +49-89-2180-9864
office E105
address Institut für Informatik / TCS
Oettingenstraße 67, D-80538 München




Current projects

  • PolyNI: Verification of polymorphic noninterference for mobile code

Previous projects

  • InfoZert: Verification and Certification of Information Flows
  • Mobius: Mobility, Ubiquity and Security


Last modified: valid XHTML 1.0