Danel Ahman

Registered user since Wed 1 Jul 2015

Name:Danel Ahman
Country:Slovenia
Affiliation:University of Ljubljana
Research interests:Category theory, Type theory, Logic, Computational effects, Handlers

Contributions

ICFP 2022 Student Research Competition Co-Chair in Program Committee within the Student Research Competition-track
Student Research Competition Co-Chair in Organizing Committee
ML 2021 Committee Member in Program Committee within the ML 2021-track
HOPE 2021 Author of Higher-Order Asynchronous Effects within the HOPE 2021-track
POPL 2021 Author of Asynchronous Effects within the POPL-track
ICFP 2020 Author of SteelCore: An Extensible Concurrent Separation Logic for Effectful Dependently Typed Programs within the ICFP Program-track
Committee Member in External Review Committee within the ICFP Program-track
ESOP 2019 Author of Meta-F*: Proof Automation with SMT, Tactics, and Metaprograms within the ESOP 2019-track
POPL 2019 Committee Member in Program Committee within the Research Papers-track
ML 2018 Author of ML as a Tactic Language, Again within the ML 2018-track
HOPE 2018 Committee Member in Program Committee within the HOPE 2018-track
ICFP 2019 Author of Dijkstra Monads for All within the Research Papers-track
HOPE 2017 Author of Handling fibred algebraic effects within the HOPE 2017-track
Author of Recalling a Witness within the HOPE 2017-track
POPL 2018 Author of Handling fibred algebraic effects within the Research Papers-track
Author of Recalling a Witness: Foundations and Applications of Monotonic State within the Artifact Evaluation-track
Author of Recalling a Witness: Foundations and Applications of Monotonic State within the Research Papers-track
POPL 2017 Author of Dijkstra Monads for Free within the POPL-track