Aïna Linn Georges Homepage


I have been a teaching assistant in the following courses:

  • Computability and Logic in 2018, 2019, 2020 and 2021
  • Compilation in 2019
  • Foundations of Algorithms and Datastructures in 2018
  • Computerarchitecture, Networks and Operating Systems in 2018

I have given the following guest lectures:

  • Language Based Security on the topic of Capabilities
  • Computability and Logic on the topic of Model Learning