Introduces the Mathematics Special Course at EPFL, emphasizing its role as a bridge to Bachelor studies and the importance of mathematics in engineering.
Explores automatic synthesis of correct and efficient synchronization in programs, focusing on removing redundant atomicity and adding synchronization metadata.
