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, 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 »

This is the caption / description for the image

New Seminar Series on Logic and Programming languages

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

We are starting new seminar series at the School of Mathematical and Computer Sciences. The seminar will be devoted to logic and programming langues. The first seminar will take place on the 23 February at 15.15, Manuel Maarek will tell us about his experiince at POPL'17 in Paris.

Read More »

My best four publications: