Sergey Goncharov -

Registered user since Mon 17 Sep 2018

Name:Sergey Goncharov

Country:Germany

Affiliation:University of Erlangen-Nuremberg

Personal website: https://www8.cs.fau.de/sergey

Contributions

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

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