Reto Achermann
Assistant Professor
Systems Research Group
TUM School of Computation, Information and Technology
Reto Achermann
Teaching: Most Recent Courses Taught
The most recent courses that I have taught or co-taught. See "All Courses Taught" for a complete list.
2026 Winter - Operating Systems Design and Implementation (Practical Course)
Technical University of Munich - IN0012, IN2106
Link: IN0012, IN2106 - Lecturer - Prof. Reto Achermann
In this practical course, participants will gain a thorough understanding of the challenges and issues in designing and implementing modern multi-core operating systems. They will apply and extend their knowledge in systems, software engineering, project management, and teamwork.
2026 Winter - Computer Systems Seminar
Technical University of Munich - IN0014, IN2107, IN45166
Link: IN0014, IN2107, IN45166 - Lecturer - Prof. Reto Achermann
This course will introduce advanced topics in computer systems, including operating systems, distributed systems, file systems, networked systems, virtualization, and confidential computing. System software forms the bedrock of our computing infrastructure. The participants will learn about computer system designs and emerging trends in real-world systems, including data-centers comprising 100s of thousands of machines.
2026 Summer - Verification in Systems Seminar
Technical University of Munich - IN0014, IN2107, IN45166
Link: IN0014, IN2107, IN45166 - Lecturer - Prof. Reto Achermann
This course will cover advanced topics in verification of system software such as operating systems, file systems, hypervisors, secure virtual machines, and firmware. System software forms the bedrock of our compute infrastructure. Bugs and vulnerabilities can lead to devastating consequences ranging from crashes, data loss or corruption, security violations and more. While testing can only prove the existence of a bug, software verification provides a rigorous, mathematical proof that the implementation adheres to its specification. The students will learn about the different approaches of and challenges in verifying system software.
2025 W1 - Operating Systems Design and Implementation
University of British Columbia - CPSC 436A
Link: CPSC 436A - Lecturer - Prof. Reto Achermann
The course covers the design and implementation of various operating systems concepts such as memory management, scheduling, inter-process communication, inter-core synchronization, protection, device drivers, file systems, and networking. Moreover, the course pays particular attention to the design of system software architectures that differ from the traditional monolithic arrangements of Unix/Linux and Windows. During the course, the students will work together in small groups to build a fairly complete operating system.
