![Roman Barták](https://conf.researchr.org/getProfileImage/romanbartak/9e41be4a-d8d3-4400-b9c7-1630f9c7978e/small.jpg?1712973175000)
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/
Contributions
2016
Symposium on Practical Aspects of Declarative Languages
POPL 2016-profile
View general profile
View general profile