PADL
Mon 18 - Tue 19 January 2016 St. Petersburg, Florida, United States
co-located with POPL 2016
Roman Barták

Not registered as user yet

Name: Roman Barták

Bio: I am a computer scientist and I am working as a professor at Charles University, Prague. Currently I am a vice head of Department of Theoretical Computer Science and Mathematical Logic (I was a department chair in 2006-2014) and a head of Constraint & Logic Programming Research Group and I also led R&D activities of Visopt BV, The Netherlands/Israel.

Affiliation: Charles University in Prague

Personal website: http://ktiml.mff.cuni.cz/~bartak/

POPL 2016 Activities

POPL 2016-profile
View general profile