Anders Mörtberg -

Registered user since Fri 14 Jun 2019

Name:Anders Mörtberg

Country:Sweden

Affiliation:Department of Mathematics, Stockholm University

Personal website:https://staff.math.su.se/anders.mortberg/

Contributions

CPP 2023	Author of Computing Cohomology Rings in Cubical Agda within the CPP 2023-track
CPP 2022	Author of Implementing a category-theoretic framework for typed abstract syntax within the CPP 2022-track Committee Member in Program Committee within the CPP 2022-track
POPL 2021	Author of Internalizing Representation Independence with Univalence within the POPL-track
CPP 2021	Committee Member in Program Committee within the CPP 2021-track
CPP 2020	Author of Cubical Synthetic Homotopy Theory within the CPP 2020-track
ICFP 2019	Author of Cubical Agda: A Dependently Typed Programming Language with Univalence and Higher Inductive Types within the Research Papers-track
TTT 2017	Invited Speaker of Invited Talk -- Cubical Type Theory: a constructive interpretation of the univalence axiom within the TTT-track