Ekaterina Komendantskaya
Scholar

Ekaterina Komendantskaya

Google Scholar ID: -HbSa84AAAAJ
Professor in Computer Science, Southampton University and Heriot-Watt University, UK
LogicAI VerificationLogic ProgrammingTheorem ProvingMachine Learning
Citations & Impact
All-time
Citations
645
 
H-index
13
 
i10-index
18
 
Publications
20
 
Co-authors
70
list available
Contact
Resume (English only)
Research Experience
  • Co-creator of the 'Predicate Quantitative Logics for Safe Machine Learning' project under the ARIA Safeguarded AI programme
  • Academic lead for the D2AIR (Dependable and Deployable AI for Robotics) Centre for Doctoral Training, a joint PhD programme by Heriot-Watt University and the University of Edinburgh
  • Principal investigator on the AISEC project: 'AI Secure and Explainable by Construction', funded under the 'Security for All in AI Enabled Society' call, in collaboration with Heriot-Watt, Edinburgh, and Strathclyde Universities
  • Academic lead for a UKRI-funded ICASE PhD scholarship with SLB Cambridge on reasoning about complex systems using statistical ML and AI (2022–2027)
  • Academic lead for an Imandra-funded PhD project on 'Verification of Neural Networks in Imandra' at the Edinburgh Centre for Robotics (2022–2026)