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)

This is the caption / description for the image

PhD Positions

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

I am looking for a PhD student to work with me at Heriot-Watt university. The succcessful candidate must have interest in Logic and Programming languages. Full stipend is available, starting date is flexible. Interested applicants -- please contact me directly.

Read More »

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 14.15. A dedictaed webpage is here.

Read More »

My upcoming events:

My best five publications: