Pavel Surynek's Academic Page | Resume

Resume


Update: 6th Mar 2018

Pavel Surynek | Curriculum Vitae

Personal Details
Name:RNDr. Pavel Surynek, Ph.D.
Position:Assistant Professor
Institution: Department of Theoretical Computer Science
and Mathematical Logic

Faculty of Mathematics and Physics
Charles University in Prague
Malostranske namesti 25
118 00 Praha 1, Czech Republic
E-mail:
URL:http://ktiml.mff.cuni.cz/~surynek
Pavel Surynek

Short Biography (can be used for announcing talks)

English version

Pavel Surynek is an assistant professor at Charles University in Prague, Czech Republic. He holds a Ph.D. in artificial intelligence and a master's in theoretical computer science from Charles University in Prague. He is responsible for teaching courses related to artificial intelligence. His main research interests include domain-dependent planning, constraint satisfaction, and Boolean satisfiability.


Czech version

Pavel Surynek je odborným asistentem na Univerzitě Karlově v Praze, v České republice. Doktorské studium (Ph.D.) v umělé inteligenci, rigorosní řízení (RNDr.) a magisterské studium v teoretické informatice (Mgr.) absolvoval rovněž na Univerzitě Karlově v Praze. Je odpovědný za vedení výuky předmětů týkajících se umělé inteligence. Jeho hlavní výzkumné zájmy zahrnují doménově závislé plánování, splňování omezujících podmínek a booleovskou splnitelnost.


Versions for downloadEnglish pdf | Czech pdf ]

Education
  • 10.2005 - 09.2008: Ph.D. Studies
    Faculty of Mathematics and Physics, Charles University in Prague, Czech Republic
    Degree: Ph.D.
    Study branch: Theoretical Computer Science
    Doctoral dissertation: Constraint Programming in Planning
    Supervisor: Roman Barták
    Reviewers: Olga Štěpánková, Peter Vojtáš
     
  • 03.2005: Doctor of Natural Sciences
    Faculty of Mathematics and Physics, Charles University in Prague, Czech Republic
    Degree: RNDr., equivalent to Ph.D. candidate
    Branch: Theoretical Computer Science
    Thesis: Dynamic Constraint Satisfaction Problems
    Reviewer: Hana Rudová
     
  • 09.1998 - 01.2004: Master Studies
    Faculty of Mathematics and Physics, Charles University in Prague, Czech Republic
    Degree: Mgr., equivalent to M.Sc.
    Study branch: Theoretical Computer Science
    Diploma thesis: Solving Dynamic Constraint Satisfaction Problems
    Supervisor: Roman Barták
    Reviewer: Hana Rudová
     
  • 09.1994 - 05.1998:
    Gymnasium in Vlašim (equivalent to grammar school), Czech Republic
Awards
  • MICAI 2011 Best Poster Award - second place
    Competing work: Automated Classification of Bitmap Images Using Decision Trees
    Award given by: Program Committee of MICAI 2011, 10th Mexican International Conference on Artificial Intelligence and the Mexican Society of Artificial Intelligence (SMIA), 2011.
     
  • Annual Award of the Bernard Bolzano Foundation winner in 2008
    (Výroční cena Nadačního fondu Bernarda Bolzana za rok 2008)
    Competing work: Collection of 4 papers on Artificial Intelligence Planning
    Award given by: Faculty of Mathematics and Physics, Charles University in Prague, 2008.

Professional Experience
  • 06.2012 - present: Owner
    Surynek TECHNOLOGIES, Praha, Czech Republic, www.surynek.com
     
  • 08.2011 - 09.2012: Visiting Researcher, JSPS Postdoctoral Fellow
    Graduate School of Maritime Sciences, Division of Maritime Management Sciences, Kobe University, Japan
     
  • 01.2009 - present: Assistant Professor
    Faculty of Mathematics and Physics, Charles University in Prague, Czech Republic
     
  • 09.2006 - 09.2008: Research Fellow
    Faculty of Mathematics and Physics, Charles University in Prague, Czech Republic
     
  • 06.2004 - 06.2005: Software Analyst
    UniControls, a.s., Prague, Czech Republic
     
  • 06.2000 - 06.2001: Software Developer
    Definity Systems, s.r.o., Benešov, Czech Republic
Special Courses Attended
  • 2011: First International SAT/SMT Solver Summer School, Cambridge, MA, USA
  • 2011: Transnational Technology Transfer Manager - Junior (TTM-J), Prague, Czech Republic
  • 2007: Third International Summer School on Constraint Programming, Lloret de Mar, Spain
  • 2006: Second International Summer School on Constraint Programming, Samos, Greece
  • 2006: ICAPS Summer School on Planning, Cumbria, United Kingdom
  • 2005: First International Summer School on Constraint Programming, Aquafreda di Maratea, Italy (highest score in the final exam)
Publications

For the complete list of my publications see the publications page.


Editorial Board and Program Committee Membership

For my editorial board and PC membership plese see the research page.


Teaching Experience
  • Decision Procedures and Verification
|   lecture and seminar (2009 - present)
  • Seminar on Artificial Intelligence
|   student seminar (2009 - present)
  • Propositional and Predicate Logic
|   seminar (2009 - present)
  • Seminar on Satisfiability
|   student seminar (2008 - present)
  • Algorithms and Data Structures
|   seminar (2008 - 2009)
  • Automata and Grammars
|   seminar (2006 - present)
  • Non-procedural Programming
|   seminar (2006 - 2008)
  • Individual Software Project
|   project (2006 - present)
  • Programming
|   seminar (2005 - 2008)

For further details on my teaching activities see the teaching page.


Theses Supervising and Reviewing

For the complete list of supervised and reviewed theses see the activities page.


Research Interests
  • Artificial Intelligence
  • Boolean Satisfiability
  • Constraint Programming
  • Theoretical Robotics
  • Planning and Scheduling
  • Computational Complexity
  • Neural Networks
  • Computer Graphics
  • Revision Control Systems

For further details on my research activities see the research page.


Languages
  • Czech (native speaker)
  • English (fluent)
  • German, French (basic knowledge)