Comp. Science - 4th term
Courses I took on the 4th term of academic year 2012/2013, as part of my master’s studies in “Computing Science - Software Technology” at Utrecht University (The Netherlands). This term lasted from April 22nd, 2013 up until July 5th, 2013.
- INFOAPA - Automatic Program Analysis
- Archive
Lecturer: Jurriaan Hage
- INFODTP - (Seminar on) Dependently-Typed Programming
- Archive
- Final project (with Liewe Thomas van Binsbergen)
Lecturer: Wouter Swierstra