Graduate Education
Graduate Courses, Academic Year 2012-2013
- Computer Security Contact: Johannes Borgström, Björn Victor, Aletta Nylén
- Programming of Parallel Computers, 10 hp, 2012
- Advanced Compiler Design Spring 2012
- Reading Group: Seminal Papers in Verification (and Related Topics) (starts 2012-02-03)
- Reading Group on Verification of Timed Systems (started 2012-01-30, contact Martin Stigge)
- Advanced Algorithmics (Arne Andersson, starts Period 4)
- Technology, research and ethics, Contact: Iordanis Kavathatzopoulos