Scholar
Elena Botoeva
Google Scholar ID: fEkC0gkAAAAJ
University of Kent
Citations & Impact
Citations
742
H-index
12
i10-index
13
Publications
20
Co-authors
14
list available
Contact
Publications
Resume (English only)
Academic Achievements
- Served as PC member for conferences such as KR, AAAI, AAMAS, ECAI, and others. Published papers include 'Accessing Semi-structured Data with RML and LLMs' (2025), 'Formal Verification of Parameterised Neural-symbolic Multi-agent Systems' (2024), and 'Counterfactual Explanations and Model Multiplicity: a Relational Verification View' (2023).
Research Experience
- Current funded projects include BRIGHT (BRanchIng Game HeurisTics for Verification of Neural Networks), funded by EPSRC, with postdoc Max Peeperkorn.
Education
- Previously worked at Imperial College London with Alessio Lomuscio and at Free University of Bozen-Bolzano with Diego Calvanese.
Background
- Lecturer at the School of Computing, University of Kent. Research interests include verification of AI systems, query languages for JSON document databases, data access and integration with Knowledge Graphs, machine learning for combinatorial optimisation, integration of neural and symbolic AI, and explainable AI.
Miscellany
- Teaches courses including Semantic technologies and Graph Analytics, Fundamentals of Web Development, and Introduction to Artificial Intelligence.
