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 coordinator of all Computer Science MSc projects

I am a SICSA Research Theme leader for Theory, Modelling and Computation (jointly with Neil Ghani)

PhD

New PhD student

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

A new PhD student -- Alasdair Hill -- is joining DSG group in Septembr 2017 to work with me on Automated Theorem Proving for Types and Programming Languages.

Heriot-Watt University

New Seminar Series on Logic and Programming languages

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

Logic and Programming Languages Seminars at MACS are now on the way, every Wednesday at 13.15. A dedicated webpage is here.

Read More »

My recent and upcoming events:

My selected publications (full list is given here):