Pavel Surynek's Home Page

This part of the web site is dedicated to my research. Below you can find something about my grant projects, awards, research groups, editorial board membership, PC membership, article reviews, and list of my research interests.

Grant Projects

Principal researcher of Constraint Programming and Boolean Satisfiability for Artificial Intelligence (Omezující podmínky a booleovská splnitelnost pro umělou inteligenci)
Type: Post-doctoral project
Provider: Czech Science Foundation (Grantová agentura České republiky - GAČR)
Period: 2009 - 2011
Contract number: 201/09/P318

Member of PlanEx: Bridging Planning and Execution
Type: Standard research project
Provider: Czech Science Foundation (Grantová agentura České republiky - GAČR)
Period: 2010 - 2014
Contract number: GAP103/10/1287

Member of Dynamic Aspects of Scheduling (Dynamické aspekty rozvrhování)
Type: Standard research project
Provider: Czech Science Foundation (Grantová agentura České republiky - GAČR)
Period: 2007 - 2009
Contract number: 201/07/0205

Member of Constraint Satisfaction in Planning (Omezující podmínky v plánování)
Type: Doctoral project
Provider: Grant Agency of Charles University (Grantová agentura Univerzity Karlovy)
Period: 2006 - 2008
Contract number: 356/2006/A-INF/MFF

Member of Collegium Informaticum
Type: Doctoral project
Provider: Czech Science Foundation (Grantová agentura České republiky - GAČR)
Period: 2005 - 2008
Contract number: 201/07/0205

Awards

MICAI 2011 Best Poster Award - second place
Competing work: Automated Classification of Bitmap Images Using Decision Trees
Award given by: Program Committee of MICAI 2011, 10th Mexican International Conference on Artificial Intelligence and the Mexican Society of Artificial Intelligence (SMIA), 2011.
Annual Award of the Bernard Bolzano Foundation winner in 2008
(Výroční cena Nadačního fondu Bernarda Bolzana za rok 2008)
Submitted work: Collection of 4 papers on Arificial Intelligence Planning

Research Group Membership

Constraint Satisfaction and Optimisation Research Group at the Department of Theoretical Computer Science and Mathematical Logic

Editorial Board Membership

International Journal of Artificial Intelligence and Application, Science & Engineering Research Support soCiety, Australia

Programme Committee Membership

25th International Joint Conference on Artificial Intelligence (IJCAI 2016)
30th Conference on Artificial Intelligence (AAAI 2016)
14th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2015)
8th International Conference on Agents and Artificial Intelligence (ICAART 2015)
21st European Conference on Artificial Intelligence (ECAI 2014)
7th International Conference on Agents and Artificial Intelligence (ICAART 2014)
13th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2014)
23rd International Joint Conference on Artificial Intelligence (IJCAI 2013)
6th International Conference on Agents and Artificial Intelligence (ICAART 2013)
Artificial Intelligence and Application 2012 (AIA 2012)
International Conference on Agents and Artificial Intelligence 2012 (ICAART 2012)
25th Conference on Artificial Intelligence (AAAI 2011)
International Conference on Agents and Artificial Intelligence 2011 (ICAART 2011)

Article reviews

IEEE Transactions on Robotics 2013 (T-RO 2015)
IEEE Transactions on Automation Science and Engineering (T-ASE 2015)
Advances in Artificial Intelligence 2015
IEEE International Conference on Automation Science and Engineering (CASE 2014)
Robotics and Autonomous Systems, Elsevier (Robot 2013)
IEEE Transactions on Robotics 2013 (T-RO 2013)
Robotics and Computer Integrated Manufacturing (RCIM 2013)
International Journal of Computer Mathematics (IJCM 2013)
2013 IEEE International Conference on Robotics and Automation (ICRA 2013)
Theoretical Computer Science 2011 (TAMC 2010 Special Issue)
Week of Doctoral Students 2011 (WDS 2011)
Principles and Practice of Constraint Programming (CP 2011)
Constraints: An International Journal 2010
Week of Doctoral Students 2010 (WDS 2010)
Advances in Artificial Intelligence 2010
Annual Conference on Theory and Applications of Models of Computation 2010 (TAMC 2010)
Constraints: An International Journal 2010
FLAIRS Program Committee member (FLAIRS 2010 - Special track Artificial Intelligence Planning and Scheduling)
Journal Kybernetika 2008
Week of Doctoral Students 2009 (WDS 2009)
International Joint Conference on Artificial Intelligence 2009 (IJCAI 2009)
Week of Doctoral Students 2008 (WDS 2008)
Principles and Practice of Constraint Programming (CP 2007)
Recent Advances in Constraints 2007 (RAC 2007), CSCLP 2007 post-proceedings

Research interests

In the following lists of research interests, I am trying to capture my current reasearch profile. From time to time my research interests change and if the change is significant enoung this fact is reflected in the lists below.

General topics of my research (changing over time):

Robot Planning and Multi-robot Systems
Boolean Satisfiability Problem (SAT)
Constraint Programming (CP)
Constraint Satisfaction Problem (CSP) Solving
Automated Planning
Domain-dependent Planning
Artificial Intelligence in General
Knowledge Discovery and Data Mining
Computer Vision and Computer Graphics
Algorithms and Complexity

These are several research topics I dealt with intensively in the past:

Computer Graphics (Photo Realistic Rendering)
Neural Networks (Image Recognition)
Fast Graphic Algorithms for Computer Games
Computer Simulations/Cellular Automata (Physics, Biology, Cooperation)

I am also strongly interested in ethical and theological dimension of research in general. I consider this to be a very important part of my attitude towards scientific work (unfortunately quite rare in scientific community).