
Registered user since Mon 27 Feb 2017
Name: Iavor Diatchki
Affiliation: Galois, Inc.
Personal website: https://galois.com/team/iavor-diatchki/
Contributions
PADL 2020 | Committee Member in Program Committee within the PADL 2020-track | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
POPL 2020-profile
View general profile
View general profile