Jorge A. Pérez -

Registered user since Thu 22 Sep 2016

Name:Jorge A. Pérez

Bio:

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

Country:Netherlands

Affiliation:University of Groningen, The Netherlands

Research interests:Concurrency, Programming Languages, Semantics

Contributions

AGERE 2021	Author of Towards Practical Protocol Verification via Minimal Orchestration in ACP within the AGERE 2021-track
REBLS 2021	Committee Member in Program Committee within the REBLS 2021-track
PLNL 2018	Author of Reversible Session-Based Concurrency, and its Haskell Implementation within the PLNL-track
BEAT 2019	Author of Closing within the BEAT 2019-track Author of Opening within the BEAT 2019-track Co-chair in Program Committee within the BEAT 2019-track Session Chair of Session 4 (part of BEAT 2019) Committee Member in Organizing Committee within the BEAT 2019-track Author of Relating Process Languages for Security and Communication Correctness within the BEAT 2019-track
PLMW 2019	Panelist of Panel: Grad School and Beyond within the PLMW@POPL-track Panelist in Panelists within the PLMW@POPL-track
ECOOP 2019	Author of MISTY: Playing with Minimal Session Types within the Artifacts-track Author of Minimal Session Types within the Research Papers-track
REBLS 2016	Author of A Reactive Interpretation of Session-Based Concurrency (In Progress Paper) within the REBLS-track