Event
Computer Science-ISR Seminar: Roman Bartak
Thursday, September 20, 2018
1:30 p.m.-3:00 p.m.
4172 A.V. Williams Building
Dana Nau
nau@umd.edu
Computer Science–ISR Seminar
TITLE TBA
Roman Barták
Faculty of Mathematics and Physics
Charles University
Prague, Czech Republic
Host: Dana Nau
Abstract
To come.
Biography
Roman Barták works in Artificial Intelligence with particular emphasis on automated planning and scheduling, constraint satisfaction, knowledge representation, and machine learning. His reseach goal is to design intelligent autonomous agents (e.g. robots) that can plan their activities, do decisions, and act in real environments. He believes in a model-based approach, where agents can learn models (of environment and own capabilities) and use them to take decisions (plan activities, find what they do not know). As the models can be formally verified and validated and also presented to humans; this approach leads to trustful and reliable AI.
Barták focuses on single agent behaviour as well as on coordination of multiple agents. The applications are in robotics, production and transportation environments, deep space and ocean missions, etc.
Barták earned his PhD (Computer Science) from MFF UK at 1997. Assistant professor at MFF UK in 1997-2005, associate professor at MFF UK in 2005-2013, full professor since 2013. Department chair (Theoretical Computer Science and Mathematical Logic) in 2006-2014; vice-chair since 2014. Coordinator of graduate program Computer Science, coordinator of graduate sub-program Artificial Intelligence, coordinator of doctoral sub-program Theoretical Computer Science. Responsible for commercial projects for Universal Synergetics (USA, 1992-93, robotics), AISA/Median (Czech Republic, 1993-98, data analysis), Visopt Tech Ltd. (Israel, 1999-2004, production scheduling), and Entellexi (Ireland, 2005-2011, enterprise optimization), coordinator of many research projects at the national level (CSF, MŠMT) and EU level. Chair of panel P202 Computer Science, in 2016 vice-chair of committee for physical sciences (GAČR). Research stays at Oxford University (2003, Peter Jeavons) and Universität Ulm (2003, Susanne Biundo), lecture stays at Aoyama Gakuin University and Japan Advanced Institute of Science and Technology (2008).
He is a regular member of program and organizing committees of international conferences (IJCAI, AAAI, ECAI, FLAIRS, ICAPS, CP-AI-OR, CP, MISTA, SoCS…), editor and member of editorial boards of international journals (Journal of AI Research, AI Communications, Computational Intelligence, Advances in Artificial Intelligence, Archives of Control Sciences, Production & Manufacturing Research). Research in the area of Artificial Intelligence, in particular automated planning and scheduling, constraint satisfaction, and knowledge representation. Author of more than 100 research papers. Member of Czech Society for Cybernetics and Informatics (ČSKI), Association for Computing Machinery (ACM), and Association for Advancement of Artificial Intelligence (AAAI).
