Dr Sergey Goncharov is an Assistant Professor at the School of Computer Science, University of Birmingham. His research centers on the foundations of formal semantics in specification and programming languages, with a particular focus on applications of category theory.
Before joining the University of Birmingham, Dr. Goncharov held the position of Akademischer Oberrat (Senior Lecturer) at the Chair for Theoretical Computer Science at Friedrich-Alexander University Erlangen-Nürnberg (FAU) in Germany.
His work is grounded in a long-standing interest in the abstract foundations of computer science, with an emphasis on identifying unifying principles across diverse theoretical frameworks. He is particularly engaged in connecting formal methods with practical aspects of programming language design and specification, aiming to support greater clarity, expressiveness, and reliability in computational models.