Michael Pradel

Email: michael@binaervarianz.de
Phone: +49-6151-1622390

TU Darmstadt
Software Lab
Mornewegstrasse 32, Room 4.3.10
64293 Darmstadt, Germany

Teaching

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