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

Research interests

Rigorous programming models for concurrent and message-passing computation.


On the relative expressiveness of higher-order session processes

Domain-Aware Session Types

Minimal Session Types

Runtime Verification for Decentralised and Distributed Systems

Bit-Vector Typestate Analysis

Monitoring Blackbox Implementations of Multiparty Session Protocols

Non-Deterministic Functions as Non-Deterministic Processes (Extended Version)

Session-based concurrency in Maude: Executable semantics and type checking

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

A decentralized analysis of multiparty protocols

Read more


Research minute - Young Academy Groningen

The power of logic in computation