Ekaterina Komendantskaya

Heriot-Watt University

Welcome to my webpage!

I am a Professor in Computer Science (AI and Verification) at the School of Mathematical and Computer Sciences (MACS), Heriot-Watt University

I do research on logic, programming languages, verification and AI. I lead the Lab for AI and Verification


The Annual SICSA Conference

ek19, www.macs.hw.ac.uk/~ek19/

I am giving a talk AI Verification, in Need of Programming Language Support at the SICSA Conference

Read More »

My recent and upcoming events:

My selected publications (full list is given here):