Links
- www.radekpelanek.cz (in czech) - web page (mainly) about my books
- Contact information
- Official Curriculum Vitae
- FAQ (in czech)
Research
We are looking for colleagues (particularly prospective PhD students) for our Tutor-related research.
Current project:
- PROSO - PROblem SOlving: humans and computers
- Problem Solving Tutor
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)
Courses:
- IV109 Modeling and
Simulation (in czech)
Spring semester; overview course about computational modeling and simulation. - IA158 Real Time
Systems
Spring semester, mix of theory and practice, includes project with Lego Mindstorms. - 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. - PB170 Seminar on
Digital System Design (in czech)
Autumn semester; logic circuits, tools Hades, Quartus, introduction to Verilog. - IB111 Programming and algorithms (in czech)
Other materials
Materials for high-school teachers (in czech)