Update: 6th Mar 2018
Copyright © 2003-2013
Academic Activities
 |
This part of the web site is dedicated to my academic activities. My activities include invited talks, visits/research fellowships,
special courses, participation in the international events, organizing service, theses supervising, co-supervision, and theses reviewing.
Invited and Special Talks
| Cooperative Path-planning for Multiple Robots, An invited talk at the Ben Gurion University of the Negev, Advanced Topics in Artificial Intelligence, March 2015, Israel. |
[ presentation  ] |
| Artificial Intelligence and Computer Driven Society, An invited talk at the University of Hyogo, May 2012, Japan. |
| [ abstract | poster | presentation ] |
| Cooperative Path-finding as Satisfiability, A talk at the 4th CSPSAT Seminar, May 2012, Kobe University, Japan. |
| [ presentation ] |
| Redundancy Elimination in Highly Parallel Solutions of Motion Coordination Problems, A talk at the CSP Seminar at Graduate School of Maritime Sciences, October 2011, Kobe University, Japan. |
| [ presentation ] |
| Global Consistencies in Boolean Satisfiability, An invited talk at the 2nd CSPSAT Seminar 2010, Information Science and Technology Center of the Kobe University, November 2010, Kobe University, Japan. |
| [ presentation ] |
| Path-planning for Multiple Robots, An invited talk at the 2nd CSPSAT Seminar 2010, Information Science and Technology Center of the Kobe University, November 2010, Kobe University, Japan. |
| [ presentation ] |
| Hodnocení výzkumu (On Research Evaluation), A talk at the department meeting, September 2010, Slapy, Faculty of Mathematics and Physics, Charles University, Prague, Czech Republic. |
| [ presentation ] |
| Centralized Multi-agent Path Planning, An invited talk at the Seminar of Agent Technology Center, June 2010, Faculty of Electrical Engineering, Czech Technical University, Prague, Czech Republic. |
| [ presentation ] |
| Path Planning for Multiple Robots, A talk at the 18th Annual Student Conference Week of Doctoral Students 2009, June 2009, Faculty of Mathematics and Physics, Charles University, Prague, Czech Republic. |
| [ presentation ] |
| Plánování cest pro mnoho robotů (Multi-robot path planning), A talk at the Seminar on Artificial Intelligence, April 2009, Faculty of Mathematics and Physics, Charles University, Prague, Czech Republic. |
| [ presentation ] |
Visits and Research Fellowships
| Graduate School of Maritime Sciences, Intelligent Informatics Laboratory, Kobe University, Japan, Visiting researcher, September 2011 - September 2012. |
| Information Science and Technology Center, Kobe University, Japan, 2 days visit, to professor Naoyuki Tamura, Ph.D., November 2010. |
Special Courses Attended
| Transnational Technology Transfer Manager - Junior (TTM-J), 2011, Prague, Czech Republic |
Participation in the International Events
| First International SAT/SMT Solver Summer School, 2011, Cambridge, MA, USA |
| Third International Summer School on Constraint Programming, 2007, Lloret de Mar, Spain |
| Second International Summer School on Constraint Programming, 2006, Samos, Greece |
| International Summer School on Planning, 2006, Cumbria, United Kingdom |
| First International Summer School on Constraint Programming, 2005, Aquafreda di Maratea, Italy - (Achieved highest score from all the participants who took an exam. The exam consisted in solving problems suggested by the lecturers.) |
Organizing and Faculty Service
| Session Chair at SoCS 2015, Ein Gedi, Israel - technical session and poster spotlight session |
| Faculty Open Day 2014, Slovanský dům, Prague, Czech Republic - representative of the department, together with Tran Tuan Hiep |
| Faculty Open Day 2013, Slovanský dům, Prague, Czech Republic - representative of the department, together with Marika Ivanová and Tran Tuan Hiep |
| Gaudeamus Fair 2012, Brno Exhibition Centre, Brno, Czech Republic - education and study show, representative of the faculty |
| Faculty Open Day 2012, Slovanský dům, Prague, Czech Republic - representative of the department |
| Session Chair at ICTAI 2011, Boca Raton, FL, USA - session Planning I |
| Session Chair at AAAI 2011, San Francisco, CA, USA - sessions A* Search and Search 2, |
| Web Master for Czech-Japan Seminar 2011 (CJS 2011), Hejnice, Czech Republic, [http://ktiml.mff.cuni.cz/cjs2011] |
| Chair/Referee for Week of Doctoral Students 2011 (WDS 2011), Charles University in Prague, Czech Republic |
| Referee for Week of Doctoral Students 2010 (WDS 2010), Charles University in Prague, Czech Republic |
Supervised Theses
Current
| Marek Vandas: Adversarial Planning, Diploma thesis, MFF UK, Praha, 2014. |
| Marek Behún: Cooperative Path-finding as SAT, Bachelor thesis, MFF UK, Praha, 2014. |
| Tran Tuan Hiep: Text Recognition in Natural Scenes, Bachelor thesis, MFF UK, Praha, 2014. |
| Milan Ježek: Modeling of Cooperative Path Finding, Bachelor thesis, MFF UK, Praha, 2013. |
| Eliška Hejlová: Computer Aided Teaching of Spatial Geometry, Diploma thesis, MFF UK, Praha, 2012. |
Graduated
| Marika Ivanová: Adversarial Cooperative Path-Finding, Diploma thesis, MFF UK, Praha, 2014.
|
| Josef Talaš: Content-based Image Search, Diploma thesis, MFF UK, Praha, 2014. |
| Miloš Chromý: Improvement of the BIBOX Algorithm, Bachelor thesis, MFF UK, Praha, 2013. |
| Jakub Vlček: Recognition and Filtration of Unwanted Video-Sequences, Bachelor thesis, MFF UK, Praha, 2013. |
| Václav Obrázek: Coordinated pathfinding with formations, Bachelor thesis, MFF UK, Praha, 2013. |
| Filip Stočes: Visualization of plans for logistics tasks, Bachelor thesis, MFF UK, Praha, 2011. |
| Petr Michalík: Sub-optimal algorithms for solving sliding puzzles, Diploma thesis, MFF UK, Praha, 2011. |
| Ivana Lukšová: Bitmap picture classification, Bachelor thesis, MFF UK, Praha, 2010. |
| Jakub Kýpeť: Computer poker, Bachelor thesis, MFF UK, Praha, 2010. |
| Martin Petr: Handwriting recognition using neural network, Bachelor thesis, MFF UK, Praha, 2010. |
| Vojtěch Bardiovský: Generating of self-replicating cellular automata, Bachelor thesis, MFF UK, Praha, 2010. |
| Petr Koupý: Visualization of problems of motion on a graph, Bachelor thesis, MFF UK, Praha, 2010. |
| Martin Ščavnický: Automated prediction of results of tennis tournaments, Bachelor thesis, MFF UK, Praha, 2010. |
| Josef Pihera: Data archiving using longest common subsequence, Bachelor thesis, MFF UK, Praha, 2010. |
| Tomáš Balyo: Design of an efficient SAT solver, Diploma thesis, MFF UK, Praha, 2010. |
| Radovan Duga: Erasing Disturbing Objects from Digital Pictures, Bachelor thesis, MFF UK, Praha, 2009. |
| Martin Galajda: Algorithms for Solving the Sokoban Game, Bachelor thesis, MFF UK, Praha, 2009. |
| Ondřej Malý: Software for Modeling Car Driving Properties, Bachelor thesis, MFF UK, Praha, 2008. |
| Tomáš Balyo: Efficient Boolean Satisfiability Solver, Bachelor thesis, MFF UK, Praha, 2008. |
| Štefan Čudai: Multiagent Traffic Control System, Bachelor thesis, MFF UK, Praha, 2007. |
| Martin Langhammer: Train Traffic Simulation with Optimization, Bachelor thesis, MFF UK, Praha, 2007. |
| Attila Ulman: Emergence of Intelligent Behaviour of Social Insects, Bachelor thesis, MFF UK, Praha, 2007. |
| Kristýna Bémová: Computer-aided Teaching of Spherical Geometry, Bachelor thesis, MFF UK, Praha, 2007. |
Co-supervision
Current
| Tomáš Balyo: Modeling and Solving Problems Using SAT Techniques, Dissertation thesis, MFF UK, Praha, 2010. |
Reviewed Theses
| Martin Pecka: Detection of 2D features in MARSIS ionogram pictures, Diploma thesis, MFF UK, Praha, 2013. |
| Marcel Kikta: Visualization of Geometric Algorithms, Bachelor thesis, MFF UK, Praha, 2012. |
| Luboš Turek: Application of the ACO Algorithm to Solving Simple Substitution Cipher, Bachelor thesis, MFF UK, Praha, 2012. |
| Jakub Lehotský: Incomplete Search Algorithms, Diploma thesis, MFF UK, Praha, 2011. |
| Martin Molnár: Filtering Algorithms for Tabular Constraints, Diploma thesis, MFF UK, Praha, 2010. |
| Jindřich Ivánek: Heuristically controlled search for the optimum in NP-hard problems, Bachelor thesis, MFF UK, Praha, 2010. |
| Robert Brunetto: Interpreter and debugging environment for Prolog, Bachelor thesis, MFF UK, Praha, 2010. |
| Tomáš Caithaml: Domain specific languages, Diploma thesis, MFF UK, Praha, 2009. |
| Pavel Zykán: Dynamické temporální sítě, Diploma thesis, MFF UK, Praha, 2009. |
| Michal Tuláček: Constraint solvers, Bachelor thesis, MFF UK, Praha, 2009. |
| Tomáš Plch: Action selection for an animat, Diploma thesis, MFF UK, Praha, 2009. |
| Jaroslav Mlejnek: Global Constraints, Bachelor thesis, MFF UK, Praha, 2008. |
| Tomáš Huml: Portfolio Optimization, Bachelor thesis, MFF UK, Praha, 2008. |
| Petr Baudiš: Current Concepts in Version Control Systems, Bachelor thesis, MFF UK, Praha, 2008. |
| Ondřej Krč-Jediný: Matrix Calculator, Bachelor thesis, MFF UK, Praha, 2008. |
| Petr Baudiš: Current Concepts in Version Control Systems, Bachelor thesis, MFF UK, Praha, 2008. |
| Miroslava Plachá: Comparison of Constraint Programming Systems, Bachelor thesis, FI MUNI, Brno, 2007. |
| Tomáš Haničinec: Constraint Modeling, Bachelor thesis, MFF UK, Praha, 2007. |
| Ľubomír Karlík: System for Administration of Tests, Bachelor thesis, MFF UK, Praha, 2007. |
| Luděk Cigler: Analysis and Implementation of School Timetabling Algorithms, Bachelor thesis, MFF UK, Praha, 2006. |
|
Copyright © 2003-2014 |
|