Radek Pelánek
Academic homepage

Links


Research

List of all publications

Current project:

Previous projects:

  • AMASE - Automated Model Analysis by State Space Exploration, my postdoc grant
  • BEEM - BEnchmarks for Explicit Model checkers

Teaching


Master and bachelor theses: Information for students (in czech)

Current courses (in czech):

  • IV109 Modeling and Simulation
    Spring semester; overview course about computational modeling and simulation.

  • IB111 Introduction to programming through Python
    Introductory course to programming, using the Python programming language.

  • IV122 Mathematics and programming
    Spring semester; applying math to develop interesting programs, using programming to understand math.

  • IV104 Programming Seminar (in czech)
    Both spring and autumn semesters; focus on algorithmically interesting problems; training for an ACM ICPC contest.

  • PV205 Seminar on Complex Systems
    Autumn semester; mainly student presentations on interesting topics about complex systems; training of presentation and writing skills.

Past courses:

Other materials

Materials for high-school teachers (in czech)