Teaching

Summer 2017 Analyzing Software using Deep Learning at TU Darmstadt
Winter 2016 Program Testing and Analysis at TU Darmstadt
Winter 2015 Program Testing and Analysis at TU Darmstadt
Winter 2014 Program Analysis at TU Darmstadt
Spring 2013 Software Architecture and Engineering at ETH Zurich, co-taught with Martin Vechev
Fall 2012 Compiler Design at ETH Zurich, teaching assistant
Fall 2011 Compiler Design at ETH Zurich, teaching assistant
Fall 2009 System Programming and Computer Architecture at ETH Zurich, teaching assistant
Fall 2008 System Programming and Computer Architecture at ETH Zurich, teaching assistant