Ekaterina Komendantskaya

Registered user since Thu 24 Nov 2016

Name: Ekaterina Komendantskaya

Country: United Kingdom

Affiliation: Heriot-Watt University

Contributions

CoqPL 2018Committee Member in Program Committee within the -track
Show activities from other conferences

POPL 2018-profile
View general profile