Write a Blog >>
ICSE 2020
Mon 5 - Sun 11 October 2020 Yongsan-gu, Seoul, South Korea
Konstantinos Kallas

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

ICSE 2020Author of Code Level Model-Checking in the Software Development Workflow within the Software Engineering in Practice-track
Show activities from other conferences

Using general profile