Ekaterina Komendantskaya

Registered user since Thu 24 Nov 2016

Name:Ekaterina Komendantskaya
Country:United Kingdom
Affiliation:Heriot-Watt University and Southampton University
Research interests:Logic, Machine Learning, Verification

Contributions