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

Teaching: Students
[Courses | Tutorials | Students]


I supervise students at all levels of educations (undergraduate, graduate, doctoral). There is a list of students with topics of their thesis and academic years of defence.

If you are a student that is interested in writing thesis with me as a supervisor, then feel free to contact me. I basically cover topics from various areas of artificial intelligence, mainly planning, scheduling, constraint satisfaction, and robotics.

Doctoral students (defended PhD Thesis):

  • Suda Martin, Resolution-based methods for linear temporal reasoning, 2015/2016
  • Toropila Daniel, Efficient Representations and Conversions of Planning Problems, 2014/2015
  • Dvořák Filip, Integrating Planning and Scheduling, 2013/2014
  • Balyo Tomáš, Modelling and Solving Problems Using SAT Techniques, 2013/2014
  • Chrpa Lukáš, Learning for Classical Planning, 2008/2009
  • Surynek Pavel, Constraint Programming in Planning, 2007/2008
  • Vilím Petr, Global Constraints in Scheduling, 2006/2007
  • Müller Tomáš, Constraint-based Timetabling, 2005/2006
Graduate students (defended Master Thesis):
  • Škoda Jan, 3D Navigation for Mobile Robots, 2016/2017
  • Kuckir Ivan, Exploiting Structures in Automated Planning,  2016/2017
  • Dvořák Tomáš, Hierarchical Modeling of Planning Problems,  2015/2016
  • Novák Ladislav, Schedule analysis,  2014/2015
  • Vlk Marek, Dynamic Scheduling, 2013/2014
  • Tuláček Michal, Algorithms for automated logistics,  2013/2014
  • Kolombo Martin, Planning operations of space probes,  2013/2014
  • Jelínek Jan, Planning Solar Array Operations on the ISS,  2013/2014
  • Trunda Otakar, Monte Carlo Techniques in Planning,  2012/2013
  • Všetička Martin, School Timetabling,  2012/2013
  • Skalický Tomáš, Interactive scheduling and visualisation,  2011/2012
  • Vodrážka Jindřich, Modelling Planning Problems,  2011/2012
  • Huml Tomáš, Project portfolio optimisation with time and resources, 2011/2012
  • Kypta Tomáš, Search Strategies for Scheduling Problems,  2011/2012
  • Chovanec Andrej, Constraint satisfaction for inductive logic programming,  2010/2011
  • Rovenský Vladimír, Workflow Modelling,  2010/2011
  • Pacinda Štefan, Workforce Optimisation, 2010/2011
  • Nguyen Son Tung, Constrained activity sequencing,  2009/2010
  • Molnár Martin, Filtering Algorithms for Tabular Constraints,  2009/2010
  • Dvořák Filip, AI Planning with Time and Resource Constraints, 2008/2009
  • Zykán Pavel, Dynamic Temporal Networks,  2008/2009
  • Vlk Rudolf, Temporal networks,  2008/2009
  • Toropila Daniel,  Compiling Planning Problems,  2007/2008
  • Cigler Luděk, Constraint satisfaction for HW/SW verification,  2007/2008
  • Hejna Martin, Global Constraints with Cost, 2006/2007
  • Kasl Tomáš, Solving over-constrained problems, 2005/2006
  • Pilch Bogdan, Filtering algorithms for scheduling problems, 2004/2005
  • Surynek Pavel, Řešení dynamických problémů s podmínkami, 2003/2004
  • Vyskočil Jiří, Efektivní a rozšiřitelné implementace Prologu, 2002/2003
  • Erben Radek, Konzistenční techniky pro omezující podmínky, 2002/2003
  • Michalský Richard, Algoritmy splňování omezujících podmínek, 2000/2001
  • Müller Tomáš, Interaktivní tvorba rozvrhů, 2000/2001
  • Vilím Petr, Řešení globálních podmínek, 2000/2001
  • Mecl Roman, Omezující podmínky v grafických uživatelských rozhraních, 1998/1999

Undegraduate students (defended Bachelor Thesis):

  • Bátoryová Jana, Visual Localization of an Object in 3D Space, 2017/2018
  • Škopek Ondrej, Planning for Transportation Problems, 2016/2017
  • Kučera Jiří, Learning planning models, 2016/2017
  • Procházka Tomáš, Capturing, Visualizing, and Analyzing Data from Drones, 2015/2016
  • Amemori Josef, Cellular Automata, 2013/2014
  • Vyškovský Adam, Object tracking by a flying drone, 2013/2014
  • Škoda Jan, Stabilisation of a flying drone in dynamic environments, 2013/2014
  • Matzner Filip, Tracking of 3D Movement, 2013/2014
  • Ondrejáš Michal, Path planning in realistic 3D environments, 2013/2014
  • Doležal Lukáš, Personal Timetabling,  2012/2013
  • Hraško Andrej, Controlled Landing of an Autonomous Drone, 2012/2013
  • Glinský Radoslav, Visualization and verification of plans, 2010/2011
  • Sasák Róbert, Classical planning techniques,  2009/2010
  • Tuláček Michal, Constraint solvers,  2008/2009
  • Skalický Tomáš, Interactive Gantt Charts, 2008/2009
  • Mlejnek Jaroslav, Global Constraints,  2007/2008
  • Huml Tomáš, Portfolio Optimisation, 2007/2008
  • Haničinec Tomáš, Constraint modelling, 2006/2007