ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
Konstantinos (Kostis) Sagonas

Registered user since Sun 11 Nov 2018

Name: Konstantinos (Kostis) Sagonas

Country: Sweden

Affiliation: Uppsala University

Research interests: Software Technology, Programming Languages, Testing and Verification, Security


HCVS 2019 Invited Speaker in Invited Speakers within the HCVS-track
Invited Talk: Concolic testing of higher-order functional languages
Show activities from other conferences

ETAPS 2019-profile
View general profile