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 Author of Proof Carrying Plans within the PADL 2019-track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
POPL 2019-profile
View general profile
View general profile