teaching

Modules I currently teach or taught in the past

I am currently teaching on the following modules.

Discrete Mathematics for Computer Science (ECM1415)

Discrete mathematics is concerned with quantities which vary discretely, and because of that has an important role in Computer Science, in which discrete structures such as sets, graphs, lists, and trees play a fundamental role, and the underlying forms of reasoning are based on propositional and predicate logic rather than on calculus and mathematical analysis, with an emphasis on counting rather than measuring, e.g. enumerating permutations and combinations of objects satisfying specified conditions. This module will provide a thorough grounding in the fundamental structures and methods of discrete mathematics that are required for computer science.

Module Page: https://ele.exeter.ac.uk/course/view.php?id=19043

Computability and Complexity (ECM3422)

It is popularly supposed that there is no limit to the power of computers to perform any task, so long as it is sufficiently well defined, and to do so quickly and efficiently. In fact this is not so, and it can be proved mathematically that there are well-defined computational tasks which cannot, in principle, be performed by computers as we know them; and other tasks which, while they can be performed, cannot be completed in a feasible amount of time. This module will introduce you to the Turing Machine model of computation which underpins the fundamental theories of computability (concerned with what can be computed at all) and complexity (concerned with how efficiently things which can be computed can be computed). These theories will be introduced in a precise and formal way, and the main results and theorems will be stated and proven.

Module Page: https://ele.exeter.ac.uk/course/view.php?id=19089

Past Modules

I was module leader for the following modules:

  • 2022/23: Discrete Mathematics for Computer Science (ECM1415)
  • 2021/22: Computer Languages and Representations (ECM2418)
  • 2020/21, 2021/22, 2022/23: Fundamentals of Security (ECMM462)
  • 2019/20, 2020/21: Web Development (ECM1417)
  • 2018: Model-Based Engineering of Embedded Systems

In addition, I was involved in the following teaching activities:

  • SS 15: Teaching Assistant for the lecture Modellierung Verteilter Systeme
  • WS 14/15: Teaching Assistant for the lecture Advanced Topics of Software Engineering
  • SS 14: Teaching Assistant for the lecture Modellierung Verteilter Systeme
  • WS 13/14: Teaching Assistant for the lecture Grundlagen der Programm- und Systementwicklung
  • SS 13: Teaching Assistant for the lecture Modellierung Verteilter Systeme