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 2020Author of Code Level Model-Checking in the Software Development Workflow within the Software Engineering in Practice-track
Show activities from other conferences

ICSE 2020-profile
View general profile