FLOPS 2024 (series) / Ekaterina Komendantskaya
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