A list of projects I (have) work(ed) on:

• Limelight/Frame (internship at Joanneum Research)
• VDM Tools, PROSPER (internship at IFAD in Denmark)
• The BOOP model checker (my master's thesis at TU Graz)
• SLAM (as intern at Microsoft Research)
• DECOS (at Austrian Research Centers)
• Daniel Kroening's SATABS (at ETH Zurich)
• MOGENTES (at ETH Zurich and University of Oxford)