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