Skills

Mathematics

Software Development (Java)

Web Development (JavaScript, SQL)

Data Analytics (Python, R)

Photography

Piano

Experience

 
 
 
 
 
March 2017 – Present
Paderborn, Germany

Research Associate

Fraunhofer IEM

Projects:

 
 
 
 
 
August 2016 – January 2017
Brisbane, Australia

Research Intern

Oracle Labs

Project:

Modular Points-To Analysis implemented in Datalog (DOOP and souffle).

 
 
 
 
 
March 2014 – July 2016
Darmstadt, Germany

Research Associate

Fraunhofer SIT

Projects:

  • Pentesting of Web Applications
  • Teaching “Designing Static Code Analysis for Large Scale”
  • Security Audit TrueCrypt for the German Federal Office for Information Security (BSI)

Selected Publications

46th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2019, January 16-18, 2019, Lisbon, Portugal, 2018

Projects

Synchronized Pushdown Systems

Efficient and precise data-flow analysis.

Data-Flow Framework IDEal

$IDE^{al}$ is an efficient and generic framework for pointer-tracking data-flow analysis.

CogniCrypt

Support for software developers to securely using cryptography

Pointer Analysis Boomerang

Boomerang is a demand-driven pointer analysis for Java.