Barták, Roman
Roman Barták je počítačový vědec a profesor Univerzity Karlovy v Praze. V současnosti je zástupcem vedoucí Katedry teoretické informatiky a matematické logiky (v letech 2006-2014 ji vedl). Je šéfem výzkumné skupiny Constraint & Logic Programming. Mezi jeho výzkumné zájmy patří kromě umělé inteligence oblast automatického plánování či optimalizace průmyslových procesů. Pro firmy Visopt (Izrael) a Entellexi (Irsko) navrhl software pro optimalizaci výrobních procesů.
Řadit: