PhD Courses in the "Computer Science" Subject and its Specialisations
The PhD subject Computer Science and its five specialisations (Computer Communication; Computer Science Education Research; Database Technology; Embedded Systems; Human-Computer Interaction) offer a selection of regularly offered core PhD-level courses as an important component. Broad introductory courses are marked as such. These courses are complemented by courses on specialised topics that are offered when the need or opportunity arises, by recommended MSc-level courses, and by individual study courses.
PhD students can also attend courses offered elsewhere, say in Northern Europe, at summer schools (partial list), etc.
Regularly Offered Core PhD-level Courses
course | broad? | next offered | periodicity (years) | contact |
---|---|---|---|---|
Advanced Computer Architecture Readings, 1.5-5 credits | focused | fall 2021 | twice per year | David Black-Schaffer |
Advanced Topics in Computer Architecture | focused | ? (last: 2014) | 1 | Stefanos Kaxiras |
Program Verification and Weak Memory Models, 10 credits | broad | period 3-4, 2022 | as needed | Parosh Abdulla |
Category Theory for Computer Scientists, 5 credits | broad | period 1, 2022 | yearly, as needed | Justin Pearson |
Interactive Theorem Proving, 5 credits | broad | 2024 (period 1) | as needed | Tjark Weber |
Introduction to Programming Language Research, 5 credits | broad | 2022 (Period 4) | every second year | Elias Castegren |
Introduction to Research in Computer Architecture, 10 credits | broad | Fall 2022 | as needed | David Black-Schaffer |
Network Science, 3 credits | broad | 2024 | 2 | Christian Rohner |
Readings in Network Science, 1.5 credits | focused | Spring 2023 | on demand | Matteo Magnani |
Reviewing scientific papers, 2 credits | broad | Spring 2023 | 2 | Matteo Magnani |
Wireless Low-Power Networks, reading group, up to 7.5 credits | focused | always ongoing | n/a | Thiemo Voigt |
Cybersecurity, reading group, up to 7.5 credits | focused | always ongoing | n/a | Shahid Raza |
Ad-hoc PhD-level courses in the academic year 2020/2021
course | broad? | when | contact |
---|---|---|---|
Symbolic Execution, 5-10 credits | focused | winter 2021 | Bengt Jonsson |
Reading group on The Nature of Computation, 7.5 credits | broad | spring 2021 - autumn 2022 | Pontus Ekberg |
Reading group on Automata, Logics, and Infinite Games, 3 credits | broad | spring 2023 | Elli Anastasiadi |
Archive of ad-hoc PhD-level courses in previous academic years
Regularly Offered MSc-level Courses
The following advanced MSc-level courses are given each year: PhD students who have not already included them (or equivalent ones) in their MSc degrees may take them as PhD-level courses, if needed.
Further information regarding the specialisations
- Computer Communication -- Contact: Thiemo Voigt
- Computing Education Research -- Contact: Mats Daniels
- Database Technology -- Contact: Di Yuan
- Embedded Systems -- Contact: Wang Yi
- Human Computer Interaction -- Contact: Anders Arweström Jansson
Further information regarding other research areas within computer science
- Computer Architecture -- Contact: David Black-Schaffer
- Data Science -- Contact: Matteo Magnani
- Optimisation -- Contact: Di Yuan and Pierre Flener
- Programming Language Technology -- Contact: Tobias Wrigstad
- Verification -- Contact: Parosh Abdulla