2025
Programming of Reliable Embedded Systems
Graduate course covering real-time programming, task scheduling, concurrency, and verification techniques for safety-critical embedded systems.
Teaching assistant for DVA481, an MSc-level course in the School of Innovation, Design and Technology (IDT). Responsibilities included running lab sessions on real-time operating systems and concurrent programming, providing student support during assignments, and assisting with course logistics.
Topics covered: Real-time task scheduling, RTOS concepts, concurrency and synchronization, fault tolerance, formal verification basics, safety standards in embedded systems.