![Konstantinos Kallas](https://popl21.sigplan.org/getProfileImage/konstantinoskallas/4e2f960f-71ec-45a3-8fca-971b2368b339/small.jpg?1722421552000)
Registered user since Sat 8 Feb 2020
Name:Konstantinos Kallas
Affiliation:University of Pennsylvania
Personal website: https://angelhof.github.io/
Research interests:Programming Languages, Distributed Systems, Formal Methods
Contributions
POPL 2021-profile
View general profile
View general profile