Scholar
Egor V. Kostylev
Google Scholar ID: Y2gdVmIAAAAJ
Professor, University of Oslo
Citations & Impact
Citations
1,535
H-index
21
i10-index
40
Publications
20
Co-authors
58
list available
Contact
Publications
Resume (English only)
Academic Achievements
- Published multiple scientific articles and book chapters, including 'Recurrent graph neural networks and their connections to bisimulation and logic', 'A characterisation theorem for two-way bisimulation-invariant monadic least fixpoint logic over finite structures', 'Two variable logic with ultimately periodic counting', 'The Stable Model Semantics of Datalog with Metric Temporal Operators', etc.
Research Experience
- From 2010 to 2013, was a research fellow at the School of Informatics, University of Edinburgh, UK, contributing to the foundations of Databases in the group of Prof. Peter Buneman. From 2013 to 2020, was a Departmental Lecturer at the Department of Computer Science, University of Oxford, UK, researching on the foundations of the Semantic Web and Knowledge Bases in the group of Prof. Ian Horrocks. Since 2020, has been an Associate Professor at the Department of Informatics at the University of Oslo, where research interests extended to the connections of Symbolic and Sub-Symbolic AI.
Education
- Received MSc (Specialist, 2005) and PhD (Candidate, 2009) degrees from Lomonosov Moscow State University under the supervision of Prof. Vladimir A. Zakharov; thesis in the area of Programming Languages.
Background
- Main research interest is in the foundations of AI, particularly studying the relationships between symbolic AI formalisms (such as various logics and query languages) and sub-symbolic approaches (including ML formalisms). These relationships are at the core of Explainable, Trustworthy, and Green AI.
Miscellany
- Email: egork@ifi.uio.no
- Visiting address: Ole-Johan Dahls hus, Gaustadalléen 23B
- Postal address: Postboks 1080 Blindern, 0316 Oslo
