The aim of this course is to provide all doctoral students with a common layer of knowledge and understanding about the fundamental concepts, principles and methods of contemporary computer science. The course is meant to be accessible to students with different backgrounds and possibly with limited previous exposure to computer science. It will bring these students to the level at which they can profitably follow the more advanced courses of the computer science curriculum.
To achieve this aim, the course will consist of two complementary parts. The first part will provide the basic notions and vocabulary of computer science. This part will cover the following topics:
- Classical models of computation
- Formal languages and grammars
- Recursion, reflection and self-reference
- Computational complexity
- Computing architectures
- Distributed computation
The second part will part will use the above notions and vocabulary to explore some advanced topics that characterize modern developments of computer science. Examples of these topics are:
- Massively distributed systems, including ubiquitous computing, the Internet of Things, cyber-physical systems
- Unconventional models of computation, including spatial computing, amorphous computing, dynamic system models, quantum computing
- Formal models of computation, including modal, temporal and dynamic logics
- Self-*(self-star) properties, including autonomic computing and aware computing
The selection of the specific advanced topics to be addressed in the course will be made on a year-by-year basis, depending on the background, the educational needs and the research interests of the participating students.
The 2022 course starts on October 13, 2022 and runs on Thursdays from 09:15 to 12:00 until December 2022, see schedule.
How to register interest for the course
Information will be posted here when it is time to sign up for the course 2023.
The current plan is for the course to run Thursdays 09:15-12:00 during November 2023 until January 2024. The plan for the course is to be in physical presence and attendance to lectures is required. There is a limited number of places on the course. If any questions, contact research administration.