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
ICFP 2024-profile
View general profile
View general profile