Semester | Course | |
---|---|---|
Summer 2018 | Analyzing Software using Deep Learning (integrated course) | |
Winter 2017/18 | Program Testing and Analysis (integrated course) | |
Summer 2017 | Analyzing Software using Deep Learning (integrated course) | |
Winter 2016/17 | Program Testing and Analysis (integrated course) | |
Winter 2015/16 | Program Testing and Analysis (integrated course) | |
Winter 2014/15 | Program Analysis (seminar) |
See Michael Pradel's homepage for older teaching activities.