Ekaterina Komendantskaya

Heriot-Watt University

Welcome to my webpage!

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

Within the Department of Computer Science at Heriot-Watt University, I am a member of the Dependable Systems research group, and the Chair of Exam Boards (HoD deputy)

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

Porto, Portugal

21st International Symposium on Principles and Practice of Declarative Programming

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

I am a PC chair of PPDP'19, co-located with FM'19, a 3rd World Congress on Formal Methods. The deadline for research papers is 3rd May 2019.

Read More »

My recent and upcoming events:

My selected publications (full list is given here):