Are you an EPFL student looking for a semester project?
Work with us on data science and visualisation projects, and deploy your project as an app on top of GraphSearch.
This lecture by the instructor delves into the challenges of designing reactive systems, emphasizing the importance of correctness and productivity. The discussion covers the evolution of computer science, the shift from programming to system design, and the difficulties posed by unpredictable interactions. The lecture explores the concept of reactive systems, the challenges of programming multi-core systems, and the need for a formalized design process. It also touches on the principles of separation of concepts, coherence, and correctness by construction. The instructor explains the significance of architectures, glue operators, and composability rules in achieving correct system design, highlighting the importance of semantic coherence and expressiveness. The lecture concludes with a focus on refinement relations and the concept of correctness by construction.