PhD defences - Session-Based Concurrency: Between Operational and Declarative Views

23 Mar 2020

On January 7, Mauricio Cano successfully defended his PhD thesis "Session-Based Concurrency: Between Operational and Declarative Views" at the University of Groningen.

In his thesis, supervised by Prof. dr. Jorge A. Pérez and Prof. dr. Gerard Renardel, Mauricio presents a comprehensive study of formal programming models for message-passing concurrency and of their associated verification techniques.

This PhD work concerns theory of programming, with practical implications. His research develops results of relative expressiveness to integrate program specifications written in operational and declarative styles. A recurrent topic in Mauricio's work is the use of advanced type systems to characterize the correctness of such relative expressiveness results. 

Well done, Mauricio!