Academic Activities | Pavel Surynek's Academic Page

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 pdf ]

Artificial Intelligence and Computer Driven Society,
An invited talk at the University of Hyogo, May 2012, Japan.
abstract pdf | poster pdf | presentation pdf ]

Cooperative Path-finding as Satisfiability,
A talk at the 4th CSPSAT Seminar, May 2012, Kobe University, Japan.
presentation pdf ]

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 pdf ]

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 pdf ]

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 pdf ]

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 pdf ]

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 pdf ]

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 pdf ]

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 pdf ]


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.
  • Dean's Prize for the best master thesis in Computer Science at Faculty of Mathematics and Physics in 2014
  • Second place in the 2014 National Competition of the Union of Czech Mathematicians and Physicists
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.