Luís Caires

Bio: Luís Caires is Full Professor of Computer Science at the Department of Informatics, NOVA University Lisbon, and Director of the NOVA Laboratory for Computer Science and Informatics. His research on the foundations and practice of programming languages and models as lead to many developed or co-developed seminal contributions, in logics for concurrency and security, systems of behavioural types, and programming languages design and implementation.

He is an elected member of IFIP WG.2.2, "Formal Description of Programming Concepts" (est. 1964), is chair of the steering committee of ESOP, and served as PC chair of ESOP 2019, Forte 2018 and Concur 2007.  He is Scientific Director of the CMU|Portugal Program since 2008, served as Head of Department for eight years, and was a board member of Informatics Europe. Homepage of Luís Caires

Abstract: Programs as Proofs for Concurrent Programming Languages

We briefly overview the emergence of programming language theory in the context of fundamental developments in logic and computation since Hilbert's Program till now, with a focus on the proposition-as-types paradigm. Then, we showcase some recent work of ours, eventually leading to new practical programming languages for modern concurrent programming, in which deadlock freedom, livelock freedom, and memory safety are statically ensured by programs that are proofs of their own correctness.