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