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