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 am a SICSA Research Theme leader for Theory, Modelling and Computation (jointly with Clemens Kupke)

Coalgebra

FLoC'2018 in Oxford!

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

FLoC'18 in Oxford: I am participating at Foundations of Programming and Software Systems (FoPSS), workshops PARIS, Coalgebra, Now! and Horn Clauses for Verification and Synthesis. I have a paper at FLOC's conference ICLP'18.

Read More »

Cambridge University

Automated Reasoning Workshop in Cambridge

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

I have given an invited talk Machine learning for mining, understanding and automating computer proofs at ARW18.

Read More »

Heriot-Watt University

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):