![Konstantinos Kallas](https://icfp21.sigplan.org/getProfileImage/konstantinoskallas/7f1f7059-55e5-4def-9137-5e908b53d1ba/small.jpg?1711480279000)
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
ICFP 2021-profile
View general profile
View general profile