> HOME <
RESUME
PUBLICATIONS
PRESENTATIONS
PROJECTS
TEACHING
SEARCH
ON-LINE GUIDES
|
Welcome to
Roman Barták's Web Site
Professor at Charles University, Prague
|
Department
of Theoretical Computer Science and Mathematical Logic
Faculty of Mathematics and Physics
Charles University
Malostranske namesti 2/25
Praha 1, Czech Republic
phone:
|
+420 951 554 242 |
mobile:
|
+420 603
428 336 |
fax:
|
+420 951 554 323 |
e-mail:
|
bartak
(AT) ktiml.mff.cuni.cz |
URL:
|
http://ktiml.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 a professor at Charles University,
Prague. Currently I am a vice head of Department of
Theoretical Computer Science and Mathematical Logic (I was a department chair in 2006-2014) and a head 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.
[Home] [Resume]
[Publications] [Presentations]
[Projects] [Teaching]
[Search]
[Guides]
|