Jorge A. Pérez -

Registered user since Thu 22 Sep 2016

Name: Jorge A. Pérez

Bio: I am an assistant professor (tenure track) at the University of Groningen, The Netherlands.

Previously I was

Country: Netherlands

Affiliation: University of Groningen, The Netherlands

Personal website: http://www.jperez.nl

Research interests: Concurrency, Programming Languages, Semantics

Contributions

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