
Welcome
Department of Theoretical Computer Science and Mathematical Logic
Faculty of Mathematics and Physics
Charles University, Prague
Occupation: PhD student (just finished)
Supervisor: Doc. RNDr Roman Bartak, Ph.D
Dissertation topic: Learning for Classical Planning
Email:chrpa AT ktiml DOT mff DOT cuni.cz
Computer science interests: Linear Logic, AI Planning, Logic programming (including Linear logic programming), Constraint programming, Mathematical logic, Artificial intelligence in general, AI in games


