Matryoshka: Fast Interactive Verification through Strong Higher-Order Automation
I am a PhD student in computer science at the Max-Planck-Institut für Informatik (Germany). Before that, I concluded a M.Sc. at the Ludwig-Maximilians-Universität München (Germany) and a B.Eng. in Software Engineering at the École de technologie supérieure (Canada).
My main fields of interest are programming languages, type systems, functional programming, formal verification, and static analysis.
A print-friendly version is available here in German.
Matryoshka: Fast Interactive Verification through Strong Higher-Order Automation