Radek Pelánek

Academic homepage

The homepage is basically a collection of links - most of the links lead to pages in Czech, only the research-related pages are in English.

Other sources of information about me


I have started in the field of formal verification (particularly explicit model checking). Recently I have moved to the area of educational data mining and artificial intelligence in education. Although my original and current research interest do not share much in common, there was a curious connecting path through analysis of state space structure (at first of computer protocols, later of logic puzzles).

Information for my students


Current courses:

Past courses:

Other materials

Materials for high-school teachers