Research

Warning: include(common/top_controls.html.php) [function.include]: failed to open stream: No such file or directory in /mnt/ktimlhome/surynek/public_html/research/research.html.php on line 6

Warning: include() [function.include]: Failed opening 'common/top_controls.html.php' for inclusion (include_path='.:/usr/share/php:/usr/share/pear') in /mnt/ktimlhome/surynek/public_html/research/research.html.php on line 6

This part of the web site is dedicated to my research. Below you can find something about my grant projects, awards, research groups, 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

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

Article reviews

Theoretical Computer Science 2011 (TAMC 2010 Special Issue)
Week of Doctoral Students 2011 (WDS 2011)
Program Committee member of the International Conference on Agents and Artificial Intelligence 2012 (ICAART 2012)
Principles and Practice of Constraint Programming (CP 2011)
Program Committee member of the Twenty-Fifth Conference on Artificial Intelligence (AAAI 2011)
Constraints: An International Journal 2010
Program Committee member of the International Conference on Agents and Artificial Intelligence 2011 (ICAART 2011)
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:

Boolean Satisfiability Problem (SAT)
Constraint Programming (CP), Constraint Satisfaction Problem (CSP)
Planning for Artificial Intelligence
Artificial Intelligence in General
Knowledge Discovery and Data Mining
Algorithms and Complexity

I am especially interested in the following aspects of above topics:

Algorithms for Artificial Intelligence
Concurrent/Domain-dependent/Multi-agent Planning
(Global) Consistency Techniques for Planning/CSP/SAT
Structural Properties for Planning/CSP/SAT
Tractability in Planning/CSP/SAT
Knowledge Discovery in Web
Hierarchical Task Network Planning
Complexity in Planning/CSP/SAT

Here is a brief list of my past interests concerning computer science. However the word past does not mean I am not interested in these topics any more.

Computer Graphics (Photo Realistic Rendering)
Neural Networks (Image Recognition)
Fast Graphical 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).