conf.researchr.org / Konstantinos Kallas
![Konstantinos Kallas](https://conf.researchr.org/getProfileImage/konstantinoskallas/58e65111-bc8d-4f20-9522-b677a026f0c4/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