Write a Blog >>
ICSE 2020
Wed 24 June - Thu 16 July 2020
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


ICSE 2020 Code Level Model-Checking in the Software Development Workflow
Show activities from other conferences

ICSE 2020-profile
View general profile