• Sign in
  • Sign up
conf.researchr.org / Andrzej Murawski
  • ECOOP 2016 profile
  • ETAPS 2019 profile
  • ICFP 2016 profile
  • ICFP 2020 profile
  • POPL 2017 profile
  • POPL 2018 profile
  • POPL 2020 profile
  • POPL 2023 profile
  • SPLASH 2022 profile
Andrzej Murawski

Registered user since Fri 19 Feb 2016

Name:Andrzej Murawski
Country:United Kingdom
Affiliation:University of Oxford
Personal website:http://www.cs.ox.ac.uk/andrzej.murawski

Contributions

POPL 2023 Committee Member in Program Committee within the POPL-track
APLAS 2022 Committee Member in Program Committee
HOPE 2020 Author of Kripke open relations and operational game semantics within the HOPE 2020-track
POPL 2020 Committee Member in Program Committee within the Research Papers-track
ESOP 2019 Session Chair of Program Semantics (part of ESOP 2019)
PERR 2019 Committee Member in Program Committee within the PERR-track
Committee Member in Organizing Committee within the PERR-track
POPL 2018 Author of Linearity in Higher-Order Recursion Schemes within the Research Papers-track
POPL 2017 ERC member in External Review Committee within the POPL-track
HOPE 2016 Committee Member in Program Committee within the HOPE-track
FTfJP 2016 Committee Member in Program Committee within the FTfJP-track

Share
xFri 27 Jan 15:59
using conf.researchr.org (v1.58.0)
Support page
Sign Up