![Ekaterina Komendantskaya](https://popl25.sigplan.org/getProfileImage/ekaterinakomendantskaya/672a7ccf-8545-4e52-85a8-78540eebdd4e/small.jpg?1711470116000)
Registered user since Thu 24 Nov 2016
Name:Ekaterina Komendantskaya
Country:United Kingdom
Affiliation:Heriot-Watt University and Southampton University
Personal website: http://www.macs.hw.ac.uk/~ek19/
Research interests:Logic, Machine Learning, Verification
Contributions
Using general profile