Skip to ContentSkip to Navigation
Practical matters How to find us J.A. (Jorge) Perez Parra, Prof Dr

Research interests

Rigorous programming models for concurrent and message-passing computation.

Publications

On the relative expressiveness of higher-order session processes

Domain-Aware Session Types

Minimal Session Types

Runtime Verification for Decentralised and Distributed Systems

A bunch of sessions: a propositions-as-sessions interpretation of bunched implications in channel-based concurrency

A decentralized analysis of multiparty protocols

Asynchronous Functional Sessions: Cyclic and Concurrent

Comparing type systems for deadlock freedom

Scalable Typestate Analysis for Low-Latency Environments

Session-based concurrency, declaratively

Read more

Press/media

Research minute - Young Academy Groningen

The power of logic in computation