Sergey Goncharov's Home Page
I am an assistant professor at the School of Computer Science, University of Birmingham. Edgbaston, Birmingham, B15 2TT, UK. Email: s.goncharov
Till recently, I worked at the Chair for Theoretical Computer Science of Friedrich-Alexander University of Erlangen and Nürnberg.
My research interests include (but not limited to):
- computational monads and side-effects
- program logics (with side-effects)
- semantics and foundations of computations
- (universal) algebra, coalgebra, and category theory
- hybrid systems
Committees
- Combined 30th International Workshop on Expressiveness in Concurrency and 20th Workshop on Structural Operational Semantics (EXPRESS/SOS 2023), PC member
- Mathematical Foundations of Programming Semantics (MFPS 2023), PC member
- 18th International Colloquium on Theoretical Aspects of Computing (ICTAC 2021), PC member
- 8th ACM SIGPLAN Workshop on Higher-Order Programming with Effects (HOPE 2020), PC member
- 3rd IFIP Conference on Topics in Theoretical Computer Science (TTCS 2020), PC member
- 8th Conference on Algebra and Coalgebra in Computer Science (CALCO 2019), PC member
- Foundations of Software Science and Computation Structures (FoSSaCS 2019), PC member
- Mathematical Foundations of Programming Semantics (MFPS 2018), PC member
- Coalgebraic Methods in Computer Science (CMCS 2018), PC member
Mission
My research focuses on the fundamental principles of formal semantics in specification and programming languages. I aim to identify general idioms and recurring principles in these fields, striving for a conceptual unification of diverse approaches. This ensures both a high level of generality and practical relevance.
With this in mind, I am studying and contributing process algebra, computational monads, fixpoint calculi, Kleene algebra, formal languages and automata theory.
In more detail, my view is recently summarized in the abstract to my habilitation thesis. My recent work revolves around the notion of guarded traced monoidal category.
News
- "Identity-Preserving Lax Extensions and Where to Find Them" accepted at STACS 2025
- "Abstract Operational Methods for Call-by-Push-Value" accepted at POPL 2025
- I moved to the School of Computer Science, University of Birmingham
- "A Unifying Categorical View on Nondeterministic Iteration and Tests" accepted at CONCUR 2024
- Bialgebraic Reasoning on Higher-order Program Equivalence accepted at LICS 2024
- I was an invited speaker at RAMiCS 2024
- Logical Predicates in Higher-Order Mathematical Operational Semantics accepted at FOSSACS 2024
- DFG-Funded Project `Abstract Techniques for Programming Languages and Secure Compilation (ATLaS)` (jointly with Stelios Tsampas) granted
- Representing Guardedness in Call-by-Value accepted at FSCD 2023
- Weak Similarity in Higher-Order Mathematical Operational Semantics (Henning Urbat, Stelios Tsampas, Sergey Goncharov, Stefan Milius, Lutz Schröder) accepted at LICS 2023
- Kantorovich Functors and Characteristic Logics for Behavioural Distances accepted at FOSSACS 2023
- Towards a Higher-Order Mathematical Operational Semantics accepted at POPL 2023
- Quantitative Hennessy-Milner Theorems via Notions of Density accepted at CSL 2023
- DFG-Project Higher-Order Monad-based Programming and Reasoning (HOMBRe) granted
Publications
Here is the list of my scientific publications. Cf. me on DBLP and on ResearchGate.
Recent Talks
- Kleene Iteration: From Kleene Algebra Onwards at MGS Christmas Seminar, University of Sheffield
- Introduction to Higher-Order Mathematical Operational Semantics at Birmingham Theory Seminar
- A Unifying Categorical View of Nondeterministic Iteration and Tests at CONCUR 2024
- Pushing the Limits of Kleene Algebra at RAMICS + AiML 2024
- Higher-Order Program Equivalence in the Abstract at Research Seminar at Uni Regensburg
- Kleene Monads in a Short While at Oberseminar Theoretische Informatik
- Representing Guardedness in Call-by-Value at FSCD 2023
- Tensors of Computational Effects and a Logic for Probabilistic Traces at the Emmy-Noether-Seminar, Department Mathematik, FAU Erlangen-Nürnberg
- Towards a Higher-Order Mathematical Operational Semantics at the Topos Institute
- Kleene Monads in a Long While at Oberseminar Theoretische Informatik
- Towards a Higher-Order Mathematical Operational Semantics at Icelandic Centre of Excellence TCS Seminar
- Representing Guardedness at Tallinn University of Technology's TCS Seminar
- Computational Adequacy and Choice: How Deep is the Rabbit Hole? at Oberseminar Theoretische Informatik
- Uniform Elgot Iteration in Foundations at ICALP 2021 (narrated slides)
- Local Local Reasoning: A BI-Hyperdoctrine for Full Ground Store at FoSSaCS 2020
- Towards Constructive Hybrid Semantics at FSCD 2020 (narrated slides)
Teaching
- Summer 2023 Monad-based Programming (course description).
- Summer 2021 Theorie der Programmierung (course description)
- Summer 2021 Communication and Parallel Processes (course description)
- Summer 2021 Homotopy Type Theory Seminar (jointly with Tadeusz Litak)
- Winter 2019 Introduction to Dependently Typed Programming
- Summer 2019 Monad-based Programming (course description).
- Summer 2017 Homotopy Type Theory Seminar (jointly with Tadeusz Litak).
- Winter 2016 Communication and Parallel Processes (course description, lecture script).
- Summer 2015 Monad-based Programming (course description).
- Summer 2014 Term rewriting (course description).
- Summer 2013 Communication and Parallel Processes (course description).