Prof. RNDr. Roman Barták, Ph.D.
Home | Bio | Research | Teaching | Service

Research


Topics:

  • Artificial intelligence:
    automated planning and scheduling, constraint satisfaction, knowledge representation, robotics, machine learning
Cooperations:
  • Industry: 
    Visopt Ltd. (Israel), Entellexi (Ireland), NASA (USA), ESA (Germany), Universal Synergetics (USA), AISA/Median (Czech Republic)
  • Academia:
    Masaryk University (Czech Republic), Czech Technical University (Czech Republic), Czech Academy of Sciences (Czech Republic), University of Limerick (Ireland), Cork Constraint Computation Centre/University College Cork (Ireland), Aalborg University (Denmark), Ben-Gurion University (Israel), Brooklyn College CUNI (United States)

Publications and metrics:

Projects:
  • MoRePlan: Modeling and Reformulating Planning Problems (CSF P103-18-07252S), 2018-2020
  • Integration Of Heuristic Search And Compilation-Based Techniques For Multi-Agent Path-Finding (MŠMT 8G15027), 2016-2018
  • Automated Knowledge and Plan Modeling for Autonomous Robots (CSF P103-15-19877S), 2015-2017
  • PlanEx: Bridging Planning and Execution (CSF P103/10/1287), 2010-2014
  • KnowSched: Knowledge Techniques in Scheduling (CSF P202/10/1188), 2010-2013)
  • Res Informatica (CSF 201-09-H057), 2009-2012
  • ValuePOLE – An Extended Value Chain Model for Performnace Prediction and Optimisation of Product and Process Lifecycles for SMEs (FP7 222218), 2008-2011
  • LeCoS: merging machine LEarning and COnstraint Satisfaction (CSF 201/08/0509), 2008-2010
  • Dynamic Aspects of Scheduling (CSF 201/07/0205), 2007-2009
  • Collegium Informaticum (CSF 201/05/H014), 2005-2008
  • EMPOSME-Enterprise Modelling and Performance Optimisation (FP6), 2005-2008
  • Planning and scheduling with constraints (CSF 201/04/1102), 2004-2006
  • Advanced Planning and Scheduling (CSF 201/01/0942), 2001-2003
  • Logic Programs with Constraints (CSF 201/99/D057), 1999-2001

If you are interested to run a joint project with my team, please contact me.