• Sign in
  • Sign up
conf.researchr.org / Sergey Goncharov
  • ETAPS 2019 profile
  • ICFP 2018 profile
  • ICFP 2020 profile
  • ICFP/SPLASH 2025 profile
  • POPL 2023 profile
  • POPL 2025 profile
  • POPL 2026 profile
Sergey Goncharov

Registered user since Sat 12 Apr 2025

Name:Sergey Goncharov
Country:United Kingdom
Affiliation:University of Birmingham
Personal website: https://sergey-goncharov.org/
Research interests:Category theory, Semantics, Computational Effects, Coalgebra

Contributions

2026

POPL

  • Committee Member in Program Committee within the POPL-track

2025

ICFP

  • Author of Bialgebraic Reasoning on Stateful Languages within the ICFP Papers-track
  • Author of Big Steps in Higher-Order Mathematical Operational Semantics within the ICFP Papers-track

POPL

  • Author of Abstract Operational Methods for Call-by-Push-Value within the POPL-track

2023

POPL

  • Author of Towards a Higher-Order Mathematical Operational Semantics within the POPL-track

2020

HOPE

  • Committee Member in Program Committee within the HOPE 2020-track

2019

FOSSACS

  • Committee Member in Program Committee within the FOSSACS 2019-track
  • Session Chair of Categories and (Co)algebra (part of FOSSACS 2019)

GaLoP

  • Author of Universal property of the monad for infinite trace strategies (work in progress) within the GaLoP-track

QAPL

  • Author of An Adequate Semantics for Hybrid While within the QAPL-track

2018

HOPE

  • Author of A Metalanguage for Guarded Iteration within the HOPE 2018-track
Share
xSun 26 Oct 20:28
using conf.researchr.org (v1.72.1)
Support page
Sign Up