In this talk, I will discuss session-based concurrency, the model of computation in which session types specify protocols for channel-based communication. In this setting, deadlock freedom, the guarantee that processes never “get stuck”, is important but hard to ensure. I will overview recent work on addressing the challenge of enforcing the deadlock freedom property for message-passing processes, focusing on the case of asynchronous communication governed by session types. I will gradually present a typed process framework that guarantees deadlock freedom for a concurrent functional language with sessions.

I am a full professor at the University of Groningen (The Netherlands), where I lead the research group Fundamental Computing.