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 Pavel Surynek |
|