![Konstantinos Kallas](https://pldi22.sigplan.org/getProfileImage/konstantinoskallas/c2dc456b-3dab-4bfb-bb48-8186153dbb8a/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
PLDI 2022-profile
View general profile
View general profile