Registered user since Sat 8 Feb 2020

Name: Konstantinos Kallas

Country: United States

Affiliation: University of Pennsylvania

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

Research interests: Programming Languages, Distributed Systems, Formal Methods

Contributions