Distributed Systems (252-0213-00L)
8 ECTS.
Distributed control algorithms (mutual exclusion, logical clocks), communication models (RPC, synchronous/asynchronous communication, broadcast, events, tupel spaces), middleware, service- and resource-oriented architectures (SOAP, REST), security, fault-tolerance (failure models, consensus), replication (primary copy, 2PC, 3PC, Paxos, quorum systems), shared memory (spin locks, concurrency).
Software Engineering Seminar (252-2600-05L)
2 ECTS.
Introduction to research in software engineering, based on reading and presenting high quality research papers in the field. The instructor may choose a variety of topics or one topic that is explored through several papers.
The paper that I had to present:
Declarative Datalog Debugging for Mere Mortals
System Programming and Computer Architecture (252-0061-00L)
8 ECTS.
All aspects of the execution of compiled (C) programs on modern architectures – the instruction set, the storage resources (registers, stack, memory), input/output, the impact of compiler decisions, and the interaction between the operating system and hardware.
Correctness issues (esp. those that arise from the finite representation of data) and performance issues (incl. measurement and tuning issues). Discussion of the interface to the operating system to prepare for subsequent classes on more advanced systems topics.
Key goals:
1) Thorough understanding of how to write correct programs that run fast on modern computer
2) How to write correct and efficient low-level systems code.
Visual Computing (252-0206-00L)
8 ECTS.
Core knowledge in computer graphics, image processing, multimedia and computer vision.
Graphics pipeline, perception and camera models, transformation, shading, global illumination, texturing, sampling, filtering, image representations, image and video compression, edge detection and optical flow.
Steven Battilana 