Pavel Surynek's Academic Page | Research

Research


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


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).