Arnd Hartmanns

Teaching

University of Twente

• Spring 2024, 2025, and 2026: Quantitative Evaluation of Systems (lecturer, examiner)
  Core elective course (5 EC) in the Software Technology specialisation of the Computer Science M.Sc. programme and elective course in the Embedded Systems M.Sc. programme.
• Spring 2021, 2023, and 2025: Probabilistic Model Checking (lecturer, examiner, with Ernst Moritz Hahn)
  Advanced elective course (5 EC) in the Software Technology specialisation of the Computer Science M.Sc. programme.
• Summer 2021, ..., 2026: Programming Paradigms (coordinator)
  Elective module (15 EC) comprising 5 separate but integrated courses in the Technical Computer Science B.Sc. programme.
• Summer 2019, ..., 2023: Compiler Construction (lecturer, examiner)
  Course within the Technical Computer Science B.Sc. module Programming Paradigms.
• Winter 2018, ..., 2022: Quantitative Evaluation of Embedded Systems (lecturer, examiner)
  Core course (5 EC) in the Embedded Systems M.Sc. programme.
• Spring 2016, ..., 2020: Software Testing and Reverse Engineering (local coordinator)
  Advanced elective course (5 EC) by Sicco Verwer at Delft University of Technology
  in the joint Cyber Security M.Sc. programme with the University of Twente.
• Spring 2018: Programming in Python (lecturer)
  Preparation course on programming in Python and graph algorithms,
  part of the joint Applied Mathematics and Technical Computer Science B.Sc. module Discrete Structures and Efficient Algorithms.
• Spring 2016, 2017, and 2018: Languages and Machines (assistant)
  Base course by Jaco van de Pol on foundations of theoretical computer science,
  part of the joint Applied Mathematics and Technical Computer Science B.Sc. module Discrete Structures and Efficient Algorithms.
• Winter 2017: Dependable Systems and Networks (assistant)
  Course by Boudewijn Haverkort on the design and evaluation of dependable systems,
  part of the joint Electrical Engineering and Technical Computer Science B.Sc. elective module Cyber-Physical Systems.

Saarland University

• Summer 2015: Data Networks (lecturer, examiner)
  Core course (9 EC) on computer networks,
  part of the Computer Science B.Sc. and M.Sc. programmes.
• Winter 2014/15: Verification (assistant)
  Core course by Holger Hermanns on verification,
  part of the Computer Science B.Sc. and M.Sc. programmes.
• Summer 2012: The Automata Zoo (assistant)
  Lecture by Holger Hermanns on automata models and model checking,
  part of the MCS 2012 Summer School at the University of Oldenburg.
• Summer 2011: Data Networks (assistant)
  Core course by Holger Hermanns and Verena Wolf on computer networks
  in the Computer Science B.Sc. and M.Sc. programmes.
• Winter 2010/11: Im Zoo der Automaten (assistant)
  Undergraduate seminar with Holger Hermanns and Moritz Hahn focusing on presentation skills
  in the Computer Science B.Sc. programme.
• Winter 2009/10: Programmierung 1 (assistant)
  Base course by Holger Hermanns on computer science basics using functional programming
  in the Computer Science B.Sc. programme.
• Summer 2008: Nebenläufige Programmierung (student assistant)
  Base course by Holger Hermanns on concurrent programming and concurrency theory
  in the Computer Science B.Sc. programme.
• Summer 2007: Informationssysteme (student assistant)
  Base course by Christoph Koch on databases and information systems
  in the Computer Science B.Sc. programme.
• Winter 2005/06: Programmierung 1 (student assistant)
  Base course by Holger Hermanns on computer science basics using functional programming
  in the Computer Science B.Sc. programme.