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

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
PERR 2019	Committee Member in Program Committee within the PERR-track Committee Member in Organizing Committee within the PERR-track
ESOP 2019	Session Chair of Program Semantics (part of ESOP 2019)
POPL 2018	Author of Linearity in Higher-Order Recursion Schemes within the Research Papers-track
HOPE 2016	Committee Member in Program Committee within the HOPE-track
FTfJP 2016	Committee Member in Program Committee within the FTfJP-track
POPL 2017	ERC member in External Review Committee within the POPL-track