Theoretische Informatik

Sergey Goncharov


Address: FAU Erlangen-NürnbergRoom: 11.156
  Chair for Theoretical Computer Science Telephone: +49-91-3185-64031
  Martenstraße 3Fax: +49-91-3185-64055
  D-91058 ErlangenE-Mail: Sergey.Goncharov@fau.de

About me

I am an assistant professor (german: Akademischer Rat) at 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);
  • program semantics and functional programming;
  • (universal) algebra, coalgebras, and category theory.


I am concerned with the basic research in the area of formal semantics of specification and programming languages. My work is thus oriented towards identification of the most general idioms and principles pervasively appearing in these areas, and especially those, which allow for a conceptual unification of various approaches so as to ensure both a high level of generality and practical meaningfulness.

With this in mind, I am studying and contributing process algebra, computational monads, fixpoint calculi, Kleene algebra, formal languages and automata theory.

Recently, I am actively involved into the development of complete generic Hoare calculi parametrized by computational effects (with L. Schröder, see our LICS 2013 paper), a coalgebraic theory of weak bisimulation (with D.Pattinson, see our recently accepted ICALP 2014 paper), a coalgebraic theory of formal languages “Coalgebraic Chomsky Hierarchy” (with S. Milius and A. Silva, see the extended version of our recent TCS 2014 paper).



Here is the list of my scientific publications. Cf. me on DBLP and on ResearchGate. Sergey Goncharov

Recent Talks