Thomas Powell Home ⚬ Papers ⚬ Talks ⚬ Teaching ⚬ CV

Here is a brief overview of my undergraduate and postgraduate teaching. For short lecture courses on research topics given at international schools, see my talks page.

University of Bath (since 2020)

I lecture the unit Foundations of Computation to second year and MSc students. This introduces a number of fundamental topics in theoretical computer science, including automata, formal languages, computability theory and complexity. I am happy to share my notes and lecture material on request. In 2023/24 I am also lecturing Data Structures and Algorithms.

I often supervise research projects for both final year undergraduates and masters students, typically on one or more of the following topics:

• Logic and theory;
• The pedagogy of computer science;
• Software engineering, particularly educational web applications or games.

Prospective students are encouraged to get in touch to discuss ideas.

TU Darmstadt (2016 – 2020)

In 2019 I created and lectured a new course:

• Higher Order Computability (SoSe 2019) (course description)
  Exercise Sheets: 1, 2, 3, 4, 5
  (scans of my handwritten lecture notes are available on request)
  

I was also assistant for the following modules:

• Automaten, Formale Sprachen und Entscheidbarkeit (WiSe 2017–18 & WiSe 2019–20)
• Linear Algebra II (SoSe 2018)
• Linear Algebra I (WiSe 2017–18)
• Analysis II (SoSe 2017)
• Analysis I (WiSe 2016–17)