Not registered as user yet
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.
|PADL||Using Constraint Logic Programming to Schedule Solar Array Operations on the International Space Station|
|Show activities from other conferences|
View general profile