RESUME

PUBLICATIONS

PRESENTATIONS

PROJECTS

TEACHING

Welcome to

Roman Barták's Web Site

Associate Professor at Charles University, Prague

phone:	+420 221 914 242
mobile:	+420 603 428 336
fax:	+420 257 532 087
e-mail:	bartak@kti.mff.cuni.cz
URL:	http://kti.mff.cuni.cz/~bartak/ (you are here)

Welcome to the Home Page of Roman Barták. I prepare this web site to enable on-line access to information on my research, publishing,development and consulting activities primarily. I hope you will find information interesting to you here.

I am a computer scientist and I am working as an associate professor at Charles University, Prague. I am the head of Department of Theoratical Computer Science and Mathematical Logic and of Constraint & Logic Programming Research Group and I also led R&D activities of Visopt BV, The Netherlands/Israel. My current activities include:

• research
  • planning and scheduling
  • constraint satisfaction and optimisation, logic programming
  • artificial intelligence
• development
  • advanced planning, scheduling, and optimisation
  • software for media rating analysis, small office software (past)
    
• teaching
  • planning and scheduling
  • constraint programming (Guide to Constraint Programming)
  • programming in Prolog (Prolog Guide)
  • theory of automata
  • artificial intelligence
• publishing
  • on-line guides
  • software and hardware reviews for popular computer magazines (past)
• consulting
  • constraint and logic programming
  • planning, scheduling and optimisation
• organizing (currently)
  • PlanSIG Workshop, December 17-18, 2007, Prague
  • Constraint Satisfaction for Planning and Scheduling, a special issue of Archives of Control Sciences
  • AI Planning and Scheduling, track at FLAIRS 2008 conference, May 15-17, 2008, Coconut Grove
  • Special issue of Journal of Scheduling on "Applications and Methodologies for Planning and Scheduling"
  • ICAPS 2008 Workshop: Constraint Satisfaction Techniques for Planning and Scheduling
  • ICAPS 2008 Workshop: Knowledge Engineering for Planning and Scheduling
  • ICAPS 2008 Tutorial: Constraint processing for planning and scheduling
  • PC member: Znalosti 2008, SAC 2008, FLAIRS 2008, AAAI 2008,ECAI 2008, AIMSA 2008, ICAPS 2008

If you want to exploit my experience and expertise in your project, please contact me.