Coronavirus (Covid-19): Latest updates and information
Skip to main content Skip to navigation


Members of the Division of Theory and Foundations (FoCS) are involved in a variety of teaching and educational activities related to Algorithms, Data Structures, Complexity Theory, Discrete Mathematics, Logic, Automata and Formal Verification. Our modules bring to the students the most recent advances in the corresponding subjects. Our aim is to provide our students with an insight into the problems and challenges in theoretical foundations of Computer Science, thereby gaining the skills critical to the modern Computing.


The following list includes the modules currently taught by the members of the Division of Theory and Foundations (FoCS)