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
Personal website:http://www.jperez.nl
Research interests:Concurrency, Programming Languages, Semantics

Contributions

ST30 PC Member in Programme Committee within the ST30-track
PLDI 2023 Committee Member in PLDI Review Committee within the PLDI Research Papers-track
PLNL 2023 Author of A Bunch of Sessions: A Propositions-as-Sessions Interpretation of Bunched Implications in Channel-Based Concurrency within the PLNL 2023-track
SPLASH 2022 Author of A Bunch of Sessions: A Propositions-as-Sessions Interpretation of Bunched Implications in Channel-Based Concurrency within the OOPSLA-track
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
ECOOP 2019 Author of MISTY: Playing with Minimal Session Types within the Artifacts-track
Author of Minimal Session Types within the Research Papers-track
PLMW 2019 Panelist of Panel: Grad School and Beyond within the PLMW@POPL-track
Panelist in Panelists within the PLMW@POPL-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
PLNL 2018 Author of Reversible Session-Based Concurrency, and its Haskell Implementation within the PLNL-track
REBLS 2016 Author of A Reactive Interpretation of Session-Based Concurrency (In Progress Paper) within the REBLS-track