AILo Talk - Juan Camilo Jaramillo Londoño, University of Groningen

Title: Is your concurrent program correct?

Abstract:

Software systems play a crucial role in several aspects of our lives, ranging from streaming our favorite songs to facilitating secure communication between pilots and air traffic controllers for safe landings. However, even experienced programmers can make mistakes and software errors might be expensive or even catastrophic. Furthermore, most software systems nowadays are collections of programs that interact with each other simultaneously by exchanging messages, which increases the chances of errors. This presentation will introduce in an accessible way some rigorous mathematical models that serve as foundations for concurrent computation and how they allow to address the problem of program correctness.