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.

Coordinates

e-mail robert.grabowski@ifi.lmu.de
phone +49-89-2180-9864
office E105
address Institut für Informatik / TCS
Ludwig-Maximilians-Universität
Oettingenstraße 67, D-80538 München

Publications

Talks

Software

Current projects

  • PolyNI: Verification of polymorphic noninterference for mobile code

Previous projects

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

Teaching

...
Last modified: valid XHTML 1.0