The BIG ERA Chair project welcomed Jorge Perez, a professor from the University of Groningen, for a series of meetings that took place between May 6-10, 2024. Jorge Perez met with faculty members from Instituto Superior Técnico and researchers from INESC-ID to discuss themes related to rigorous techniques for ensuring that communicating programs are “deadlock-free”.
According to Jorge Perez, “Deadlocks are very subtle bugs, and many sophisticated techniques for avoiding deadlocks exist; despite progress, we still don’t understand exactly how different techniques compare to each other. Together with Prof. Luís Caires, we discussed my recent work on this topic, and identified several directions for extending it, with the ultimate goal of extending the scope of techniques for deadlock-free programs”.
The visit of Jorge Perez was held within the scope of the BIG project task “Exchange of Know-how with Potential EU Partners”.