
Registered user since Thu 24 Nov 2016
Name: Ekaterina Komendantskaya
Affiliation: Heriot-Watt University, UK
Personal website: http://www.macs.hw.ac.uk/~ek19/
Contributions
PADL 2019 | Committee Member in Program Committee within the PADL 2019-track Proof Carrying Plans | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
POPL 2019-profile
View general profile
View general profile