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 |