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

2025

POPL

Author of Guaranteed Bounds on Posterior Distributions of Discrete Probabilistic Programs with Loops within the POPL-track

2024

LAFI

Author of Guaranteed Bounds for Discrete Probabilistic Programs with Loops via Generating Functions within the LAFI 2024-track

GaLoP

2023

POPL

Committee Member in Program Committee within the POPL-track

2022

APLAS

Committee Member in Program Committee

2020

HOPE

Author of Kripke open relations and operational game semantics within the HOPE 2020-track

POPL

Committee Member in Program Committee within the Research Papers-track

2019

ESOP

Session Chair of Program Semantics (part of ESOP 2019)

PERR

2018

POPL

Author of Linearity in Higher-Order Recursion Schemes within the Research Papers-track

2017

POPL

ERC member in External Review Committee within the POPL-track

2016

HOPE

Committee Member in Program Committee within the HOPE-track

FTfJP

Committee Member in Program Committee within the FTfJP-track