ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
Jan Kofroň

Registered user since Mon 4 May 2015

Name: Jan Kofroň

Country: Czech Republic

Affiliation: Charles University

Personal website: http://d3s.mff.cuni.cz/~kofron/

Research interests: Code Model Checking, Source code verification and analysis Security of web applications

Contributions

TACAS 2019Author of Decomposing Farkas Interpolants within the TACAS 2019-track
ETAPS 2019General Chair in Organizing Committee
Author of Opening within the Social-track
Show activities from other conferences

ETAPS 2019-profile
View general profile