I'm a first-year PhD student with Derek Dreyer at the Max Planck Institute for Software Systems and Saarland Informatics Campus (as part of the cs@max planck program).
Research Interests
I'm interested in Programming Languages and Formal Methods. I'm even more interested in the applications of these fields on real-life programs and systems - especially when it comes to security applications. I'm interested in theorem-provers, a subset of formal methods, and, in particular, I enjoy working with the Coq proof assistant.
Other research interests include logic, software security, cybersecurity, block chains, and cloud computing.
Projects
Please refer to my resume.
Lists
I like lists, so here are some lists that I have compiled. *Under construction*