Resume of Roman Bartak

 


HOME

> RESUME <

PUBLICATIONS

PRESENTATIONS

PROJECTS

TEACHING


SEARCH

ON-LINE GUIDES

Curriculum Vitae of Roman Barták


Name:

prof. RNDr. Roman Barták, Ph.D.

Current position:

full professor, vice head of department

Institution:

Department of Theoretical Computer Science and Mathematical Logic
Faculty of Mathematics and Physics
Charles University
Malostranske namesti 2/25
118 00 Praha 1, CZECH REPUBLIC

Phone:

(+420-2) 2191 4242

Hot line:

(+420-603) 428 336

Fax:

(+420-2) 2191 4323

e-mail:

bartak (AT) kti.mff.cuni dot cz

URL:

http://kti.mff.cuni.cz/~bartak/

Education:

1993 - 1997

doctoral studies of Computer Science
(artificial intelligence and logic programming)
Doctoral Dissertation:
Expert Systems Based on Constraints
supervised by Doc. RNDr. Petr Stepanek, DrSc.
Charles University

1988 - 1993

graduate studies of Computer Science
Diploma Thesis: Meta-Interpretation of Logic Programs
Charles University

Conference presentations:
  • please, see a separate page for growing list of my research presentations (inludes files for download)

Publications:
  • please, see a separate page for growing list of my research publications (inludes files for download)
  • I am also a contributing editor of popular computer magazines.

Software and R&D projects:

1999 - 2003

Advanced Planning and Scheduling
I lead R&D activities of Visopt Tech, Israel

1993 - 1998

Software for media rating analysis
commercial software for advertising companies

1992 - 1993

Software support of mobile robot
research project in co-operation with Universal Synergetics (USA)

1991 - 1992

Graphical User Interfaces
students project

Research interests:
  • constraint programming
  • planning and scheduling
  • logic programming
  • artificial intelligence

Teaching:
  • Constraint Programming
  • Programming in Prolog
  • Automata Theory
  • Theory of computing

Special expertise:
  • Apple Macintosh computer platform
  • application software of (almost) all kind, especially content creation software

Other activities:
  • head of Constraint & Logic Programming Research Group at MFF UK
  • member of grant team "Transformations of Logic Programs"
  • reviewer of papers on ICLP '93, ICLP '97, IJCAI2001, FLAIRS 2004, MFCS 2005, IJCAI 2005, AAAI 2005, ICAPS 2005 conferences
  • reviewer of the papers for the Journal of Logic Programming, Transaction KD&E, Transactions on Systems, Man, and Cybernetics, Constraints, Artificial Intelligence, Expert Systems
  • software reviewer for the Czech Made Prize
  • member of PC at CPDC'99, 2000, 2001, 2002, 2003, 2004, 2005, INAP 2004, KI 2004, CP-AI-OR 2004, 2005, AAAI 2005, ICAPS 2005, ECAI 2006
  • organiser of 6th annual meeting of ERCIM Working Group on Constraints
  • conference chair and PC co-chair of CP-AI-OR 2005
  • author in Prolog Courseware Initiative
  • contributing editor of IDG CZ (PC World, Computerworld) and CHIP magazines

Languages:
  • Czech (native), Slovak
  • English, Russian (fluently)

Referees:


[Home] [Resume] [Publications] [Presentations] [Projects] [Teaching]

[Search] [Guides]


Charles University
Malostranské nám. 25
Praha 1
CZECH REPUBLIC