I am a PhD student at Karlsruhe Institute of Technology (KIT). I am working at the KeY system, a deductive verifier for Java programs with specifications in JML (Java Modeling Language). My research interests are:

• (interactive) program verification
• SMT solving and proof generation
• integration of multiple verification tools