Archive of Ad-hoc PhD-level Courses in the Computer Science Programme and its Specialisations
Academic year 2019/2020
None. Back to the current academic year
Academic year 2018/2019
course | broad? | when | contact |
---|---|---|---|
Software Testing and Fuzzing, 5 credits | yes | 2019 period 3-4 | Bengt Jonsson, Kostis Sagonas |
Academic year 2017/2018
course | broad? | when | contact |
---|---|---|---|
Modelling for Discrete Optimisation, 5 credits | yes | October 2017 | Pierre Flener |
Discrete Optimisation with Uncertainty, 2 credits | focused | 26 Feb - 1 March 2018 | Di Yuan |
Thinking and Ethics, 15 credits (5+5+5) | yes | 14 March - 17 May | Iordanis Kavathatzopoulos |
Academic year 2016/2017
course | when | contact |
---|---|---|
Category Theory, 6 credits | period 3 | Dave Clarke |
Discrete Optimisation with Application in Communication Networks, 6 credits | period 4 | Di Yuan |
Interactive Theorem Proving | period 2 | Tjark Weber |
Academic year 2015/2016
(none, only core courses from the list above were taught)
Academic year 2014/2015
course | when | contact |
---|---|---|
Ambient Backscatter | period 4 | Thiemo Voigt |
Academic year 2013/2014
course | when | contact |
---|---|---|
Automata + Learning, reading group | period 2-3 | Bengt Jonsson |
Visible Light Communication | period 2-3 | Thiemo Voigt |
Energy Efficient Computing | period 4 | Stefanos Kaxiras |
Academic year 2012/2013
course | when | contact |
---|---|---|
Advanced Algorithmics | period 4 | Arne Andersson |
Concurrent Data Structures, reading group | period 4 | Alexandra Jimborean |
Satisfiability Modulo Theories, reading group | period 2-4 | Philipp Rümmer, Aleksandar Zeljic |