• Sign in
  • Sign up
conf.researchr.org / Jorge A. Pérez
  • ECOOP 2019 profile
  • PLNL 2018 profile
  • POPL 2019 profile
  • SPLASH 2016 profile
  • SPLASH 2021 profile
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
Personal website:http://www.jperez.nl
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

Share
xThu 26 May 09:25
using conf.researchr.org (v1.55.6)
Support page
Sign Up