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