Program Analysis - Advanced Course WS 19/20

Lecturer Eva Darulova Maria Christakis Daniel Neider
TA's Rosa Abbasi, Michalis Kokologiannakis
PlaceMPI-SWS building G 26, room 111
First lectureTuesday, 5 Nov 2019, 13:45
ExercisesThursdays, 10:00 - 11:30
Office hoursOn demand, send an email
Credits6 CP
Can I audit?Yes, email the instructor if you are interested


Program analysis can be used to find or to show the absence of certain kinds of bad program behaviours, e.g. division by zero, null-pointer access, etc., in general fully automatically. In this course, we will


While there are no formal pre-requisites for the class, it is intended for advanced Bachelor or Master students. Previous classes on semantics, automated reasoning, verification or compiler construction are helpful, but not necessary.

Imprint Data Protection