Explores the EPFL Robot Competition, where students build a robot to clean rooms and retrieve bottles, gaining valuable hands-on experience and preparing for future engineering roles.
Explores the implementation of an Octagon Abstract Interpreter for C programs, covering abstract interpretation, octagonal constraints, closures, pointers, and the FrontC parser.
