Registered user since Sun 8 Nov 2020

Name: Artem Khyzha

Affiliation: Tel Aviv University

Personal website: https://artkhyzha.github.io/

Research interests: Programming Languages, Formal Methods, Concurrency

Contributions