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: Prof. RNDr. Petr Stepanek, DrSc. (stepanek@ksi.ms.mff.cuni.cz) RNDr. Jan Hric (hric@kti.mff.cuni.cz) [Home] [Resume] [Publications] [Presentations] [Projects] [Teaching] [Search] [Guides]

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