Ekaterina Komendantskaya

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 2021Committee Member in Programme Committee within the PADL 2021-track
APLAS 2020Author of Neural Networks, Secure by Construction: An Exploration of Refinement Types within the Research Papers-track
CPP 2021Committee Member in Program Committee within the CPP 2021-track
miniKanren 2020Committee Member in Program Committee within the miniKanren 2020-track
PADL 2020Chair in Program Chairs within the PADL 2020-track
Author of Closing within the PADL 2020-track
Session Chair of Logical Engines and Applications (part of PADL 2020)
TyDe 2019Committee Member in Program Committee within the TyDe 2019-track
APLAS 2019Ordinary PC member in Program Committee within the Research Papers-track
PADL 2019Committee Member in Program Committee within the PADL 2019-track
Author of Proof Carrying Plans within the PADL 2019-track
HCVS 2019Committee Member in Program Committee within the HCVS-track
Author of Coinduction in Uniform: what's next? within the HCVS-track
ESOP 2019Author of Coinduction in Uniform: Foundations for Corecursive Proof Search with Horn Clauses within the ESOP 2019-track
CoqPL 2018Committee Member in Program Committee within the -track
Haskell 2017Committee Member in Program Committee within the Haskell 2017-track
ICFP 2017Committee Member in Selection Committee within the Student Research Competition-track
Off the Beaten Track 2017Committee Member in Program Committee within the OBT-track