doc. Mgr. Radek Pelánek, Ph.D.

Curriculum vitae

Person Identification

• Radek Pelánek

Workplace

• Department of Information Technologies, Faculty of Informatics, Masaryk University, Botanická 68a, 602 00 Brno, Czech Republic

Employment Position

• Associate professor

Education and Academic Qualifications

• 2011: Associate Professor (Docent) in Computer Science, Faculty of Informatics, Masaryk University Brno
• 2006: PhD in Computer Science, Faculty of Informatics, Masaryk University Brno
• 2003: graduated (with honors) in Computer Science, Faculty of Informatics, Masaryk University Brno

Employment Summary

• 2011-now: Associate professor, Department of Information Technologies, FI MU Brno
• 2011-2015: Vice-dean for curriculum, FI MU Brno
• 2006-2011: Assistant professor, Department of Information Technologies, FI MU Brno

Pedagogical Activities

• Lectures: Introduction to Programing, Modeling and Simulation, Recommender Systems, Mathematics and Programming, Real Time Systems
• Seminars: Programming Seminar, Seminar on Complex systems, Seminar on Digital System Design

Scientific and Research Activities

• Current research interests: adaptive learning, intelligent tutoring systems, educational data mining, learning analytics, computational modeling
• Previous research interests: formal verification, model-checking, distributed computation, experimental evaluation of algorithms.

Academical Stays

• 2004: research internship, NASA Ames Research Center, USA
• 2002: study/research stay at Aalborg university, Denmark

University Activities

• 2013-now: head of Adaptive Learning research group
• 2011-2015: Vice-dean for curriculum, FI MU Brno
• 2006-2011: organizer of activities for high-school students (programming contests, correspondence seminar)

Extrauniversity Activities

• program committee member: AIED 2015, EDM 2015, EDM 2016, LAK 2017, AIED 2017, EDM 2017, EDM 2018, AIED 2018, LAK 2018

Appreciation of Science Community

• best paper award: UMAP 2017, AIED 2015
• the annual rector's prize, Masaryk University: 2003, 2006
• awarded the annual dean's prize, Faculty of Informatics, Masaryk University: 2000, 2003

Selected Publications

• PELÁNEK, Radek. Leveraging response times in learning environments: opportunities and challenges. User Modeling and User-Adapted Interaction. DORDRECHT: Springer Netherlands, 24 s. ISSN 0924-1868. doi:10.1007/s11257-023-09386-7. 2024. info
• PELÁNEK, Radek a Tomáš EFFENBERGER. Design and analysis of microworlds and puzzles for block-based programming. Computer Science Education. Routledge, roč. 32, č. 1, s. 66-104. ISSN 0899-3408. doi:10.1080/08993408.2020.1832813. 2022. URL info
• PELÁNEK, Radek, Tomáš EFFENBERGER a Jaroslav ČECHÁK. Complexity and Difficulty of Items in Learning Systems. International Journal of Artificial Intelligence in Education. roč. 32, č. 1, s. 196-232. ISSN 1560-4292. doi:10.1007/s40593-021-00252-4. 2022. URL info
• PELÁNEK, Radek. Adaptive, Intelligent, and Personalized: Navigating the Terminological Maze Behind Educational Technology. International Journal of Artificial Intelligence in Education. roč. 32, č. 1, s. 151-173. ISSN 1560-4292. doi:10.1007/s40593-021-00251-5. 2022. URL info
• EFFENBERGER, Tomáš a Radek PELÁNEK. Validity and Reliability of Student Models for Problem-Solving Activities. In Proceedings of the 11th International Conference on Learning Analytics and Knowledge. New York, NY, USA: Association for Computing Machinery. s. 1-11. ISBN 978-1-4503-8935-8. doi:10.1145/3448139.3448140. 2021. URL info
• EFFENBERGER, Tomáš a Radek PELÁNEK. Interpretable Clustering of Students’ Solutions in Introductory Programming. In Roll I., McNamara D., Sosnovsky S., Luckin R., Dimitrova V. Artificial Intelligence in Education. AIED 2021. Lecture Notes in Computer Science, vol 12748. Cham: Springer. s. 101-112. ISBN 978-3-030-78291-7. doi:10.1007/978-3-030-78292-4_9. 2021. URL info
• PELÁNEK, Radek. Analyzing and Visualizing Learning Data: A System Designer's Perspective. Journal of Learning Analytics. roč. 8, č. 2, s. 93-104. ISSN 1929-7750. doi:10.18608/jla.2021.7345. 2021. URL info
• PELÁNEK, Radek. A Classification Framework for Practice Exercises in Adaptive Learning Systems. IEEE Transactions on Learning Technologies. roč. 13, č. 4, s. 734-747. ISSN 1939-1382. doi:10.1109/TLT.2020.3027050. 2020. URL info
• PELÁNEK, Radek. Learning analytics challenges: trade-offs, methodology, scalability. In Christoph Rensing, Hendrik Drachsler. Proceedings of the Tenth International Conference on Learning Analytics & Knowledge. New York, NY, United States: Association for Computing Machinery. s. 554-558. ISBN 978-1-4503-7712-6. doi:10.1145/3375462.3375463. 2020. URL info
• PELÁNEK, Radek. The details matter: methodological nuances in the evaluation of student models. User Modeling and User-Adapted Interaction. Springer, roč. 28, č. 3, s. 207-235. ISSN 0924-1868. doi:10.1007/s11257-018-9204-y. 2018. URL info
• PELÁNEK, Radek a Jiří ŘIHÁK. Analysis and design of mastery learning criteria. New Review of Hypermedia and Multimedia. Taylor & Francis, roč. 24, č. 3, s. 133-159. ISSN 1361-4568. doi:10.1080/13614568.2018.1476596. 2018. info
• PELÁNEK, Radek, Tomáš EFFENBERGER, Matěj VANĚK, Vojtěch SASSMANN a Dominik GMITERKO. Measuring Item Similarity in Introductory Programming. In Rose Luckin, Scott Klemmer, Kenneth R. Koedinger. Proceedings of the Fifth Annual ACM Conference on Learning at Scale. New York, NY, USA: ACM. s. "19:1"-"19:4", 4 s. ISBN 978-1-4503-5886-6. doi:10.1145/3231644.3231676. 2018. info
• EFFENBERGER, Tomáš a Radek PELÁNEK. Towards making block-based programming activities adaptive. In Rose Luckin, Scott Klemmer, Kenneth R. Koedinger. Learning @ Scale. New York, NY, USA: ACM. s. "13:1"-"13:4", 4 s. ISBN 978-1-4503-5886-6. doi:10.1145/3231644.3231670. 2018. info
• PELÁNEK, Radek, Jan PAPOUŠEK, Jiří ŘIHÁK, Vít STANISLAV a Juraj NIŽNAN. Elo-based Learner Modeling for the Adaptive Practice of Facts. User Modeling and User-Adapted Interaction. Springer Netherlands, roč. 26, č. 1, s. 89-118. ISSN 0924-1868. doi:10.1007/s11257-016-9185-7. 2017. URL info
• PELÁNEK, Radek a Jiří ŘIHÁK. Experimental Analysis of Mastery Learning Criteria. In Proceedings of the 25th Conference on User Modeling, Adaptation and Personalization. New York, NY, USA: ACM. s. 156-163. ISBN 978-1-4503-4635-1. doi:10.1145/3079628.3079667. 2017. URL info
• PAPOUŠEK, Jan a Radek PELÁNEK. Evaluation of Learners' Adjustment of Question Difficulty in Adaptive Practice of Facts. In Proceedings of the 25th Conference on User Modeling, Adaptation and Personalization. New York: ACM. s. 379-380. ISBN 978-1-4503-4635-1. doi:10.1145/3079628.3079642. 2017. info
• PAPOUŠEK, Jan a Radek PELÁNEK. Should We Give Learners Control Over Item Difficulty? In Personalization Approaches in Learning Environments, Adjunct Publication of the 25th Conference on User Modeling, Adaptation and Personalization. New York: ACM. s. 299-303. ISBN 978-1-4503-5067-9. doi:10.1145/3099023.3099080. 2017. info
• PELÁNEK, Radek. Bayesian knowledge tracing, logistic models, and beyond: an overview of learner modeling techniques. User Modeling and User-Adapted Interaction. roč. 27, 3-5, s. 313-350. ISSN 0924-1868. doi:10.1007/s11257-017-9193-2. 2017. URL info
• PELÁNEK, Radek. Applications of the Elo rating system in adaptive educational systems. COMPUTERS & EDUCATION. roč. 98, č. 1, s. 169-179. ISSN 0360-1315. doi:10.1016/j.compedu.2016.03.017. 2016. URL info
• PAPOUŠEK, Jan a Radek PELÁNEK. Impact of Adaptive Educational System Behaviour on Student Motivation. In Artificial Intelligence in Education. Madrid: Springer International Publishing. s. 348-357. ISBN 978-3-319-19772-2. doi:10.1007/978-3-319-19773-9_35. 2015. URL info
• PAPOUŠEK, Jan, Radek PELÁNEK, Jiří ŘIHÁK a Vít STANISLAV. An Analysis of Response Times in Adaptive Practice of Geography Facts. In Proceedings of the 8th International Conference on Educational Data Mining. Madrid: International Educational Data Mining Society. s. 562-563. ISBN 978-84-606-9425-0. 2015. info
• NIŽNAN, Juraj, Jan PAPOUŠEK a Radek PELÁNEK. Exploring the Role of Small Differences in Predictive Accuracy using Simulated Data. In Second Workshop on Simulated Learners. Proceedings of the Workshops at the 17th International Conference on Artificial Intelligence in Education. Madrid: Sun SITE Central Europe. s. 21-30. ISSN 1613-0073. 2015. info
• ŘIHÁK, Jiří, Radek PELÁNEK a Juraj NIŽNAN. Student Models for Prior Knowledge Estimation. In Proceedings of the 8th International Conference on Educational Data Mining. Madrid: International Educational Data Mining Society. s. 109-116. ISBN 978-84-606-9425-0. 2015. info
• PELÁNEK, Radek a Petr JARUŠEK. Student Modeling Based on Problem Solving Times. International Journal of Artificial Intelligence in Education. roč. 25, č. 4, s. 493-519. ISSN 1560-4292. doi:10.1007/s40593-015-0048-x. 2015. info
• PELÁNEK, Radek. Metrics for Evaluation of Student Models. Journal of Educational Data Mining. roč. 7, č. 3, s. 1-19. ISSN 2157-2100. 2015. URL info
• PELÁNEK, Radek. Modeling Students' Memory for Application in Adaptive Educational Systems. In Proceedings of the 8th International Conference on Educational Data Mining. Madrid: International Educational Data Mining Society. s. 480-483. ISBN 978-84-606-9425-0. 2015. info
• PELÁNEK, Radek, Petr JARUŠEK a Matěj KLUSÁČEK. Modeling Students' Learning and Variability of Performance in Problem Solving. In D’Mello, S. K., Calvo, R. A., and Olney, A. Educational Data Mining. USA: International Educational Data Mining Society. s. 256-259. ISBN 978-0-9839525-2-7. 2013. info
• PELÁNEK, Radek, Petr BOROŠ, Juraj NIŽNAN a Jiří ŘIHÁK. Automatic Detection of Concepts from Problem Solving Times. In Lane, H.C.; Yacef, K.; Mostow, J.; Pavlik, P. Artificial Intelligence in Education. USA: Springer. s. 595-598. ISBN 978-3-642-39111-8. doi:10.1007/978-3-642-39112-5_67. 2013. info
• PELÁNEK, Radek a Petr JARUŠEK. Modeling and Predicting Students Problem Solving Times. In Proceedings of the 38th International Conference on Current Trends in Theory and Practice of Computer Science. Czech republic: Springer. s. 637-648. ISBN 978-3-642-27659-0. doi:10.1007/978-3-642-27660-6_52. 2012. info
• PELÁNEK, Radek a Petr JARUŠEK. Analysis of a simple model of problem solving times. In Springer. Proceeding ITS'12 Proceedings of the 11th international conference on Intelligent Tutoring Systems. Heidelberg: Springer Berlin / Heidelberg. s. 379-388. ISBN 978-3-642-30949-6. doi:10.1007/978-3-642-30950-2_49. 2012. URL info
• PELÁNEK, Radek a Petr JARUŠEK. A Web-Based Problem Solving Tool for Introductory Computer Science. In Proceedings of the 17th ACM annual conference on Innovation and technology in computer science education. New York. USA: ACM. s. 371-371. ISBN 978-1-4503-1246-2. 2012. info
• PELÁNEK, Radek. Difficulty Rating of Sudoku Puzzles by a Computational Model. In Philip M. McCarthy, R. Charles Murray. Twenty-Fourth International Florida Artificial Intelligence Research Society Conference. USA: Association for the Advancement of Artificial Intelligence (AAAI). s. 434-439. ISBN 978-1-57735-501-4. 2011. info
• PELÁNEK, Radek a Petr JARUŠEK. What Determines Difficulty of Transport Puzzles? In Philip M. McCarthy, R. Charles Murray. Twenty-Fourth International Florida Artificial Intelligence Research Society Conference. USA: Association for the Advancement of Artificial Intelligence (AAAI). s. 428-433. ISBN 978-1-57735-501-4. 2011. info
• PELÁNEK, Radek a Petr JARUŠEK. Problem Response Theory and its Application for Tutoring. In Proceedings of the 4th International Conference on Educational Data Mining. Eindhoven: International Conference on Educational Data Mining 2011. s. 374-375. ISBN 978-90-386-2537-9. 2011. info
• PELÁNEK, Radek a Václav ROSECKÝ. EMMA: Explicit Model Checking Manager (Tool Presentation). In Model Checking Software. Německo: Springer. s. 169-173. ISBN 978-3-642-02651-5. doi:10.1007/978-3-642-02652-2_15. 2009. info
• PELÁNEK, Radek. Model Classifications and Automated Verification. In Formal Methods for Industrial Critical Systems. Německo: Springer. s. 149-163. ISBN 978-3-540-79706-7. 2008. info
• PELÁNEK, Radek. Properties of State Spaces and Their Applications. International Journal on Software Tools for Technology Transfer (STTT). Springer-Verlag GmbH, roč. 10, č. 5, s. 443-454. ISSN 1433-2779. 2008. info
• PELÁNEK, Radek. Fighting State Space Explosion: Review and Evaluation. In Formal Methods for Industrial Critical Systems. Německo: Springer. 15 s. ISBN 3-642-03239-7. 2008. info
• PELÁNEK, Radek, Václav ROSECKÝ a Pavel MORAVEC. Complementarity of Error Detection Techniques. In Parallel and Distributed Methods in verifiCation (PDMC 2008). Nizozemsko: Elsevier. 14 s. ISSN 1571-0661. 2008. info
• PELÁNEK, Radek, Corina PASAREANU a Willem VISSER. Predicate Abstraction with Under-Approximation Refinement. Logical Methods in Computer Science. Germany: Technical University of Braunschweig, roč. 3, č. 1, s. 1-22. ISSN 1860-5974. 2007. LMCS journal web-page. info
• PELÁNEK, Radek. BEEM: Benchmarks for Explicit Model Checkers. In Model Checking Software. Německo: Springer. s. 263-267. ISBN 3-540-73369-8. 2007. BEEM webpage info
• PELÁNEK, Radek, Kim G. LARSEN, Gerd BEHRMANN a Patricia BOUYER. Lower and Upper Bounds in Zone-Based Abstractions of Timed Automata. International Journal on Software Tools for Technology Transfer (STTT). Springer-Verlag GmbH, roč. 8, č. 3, s. 204-215. ISSN 1433-2779. 2006. info
• PELÁNEK, Radek, Corina PASAREANU a Willem VISSER. Test Input Generation for Java Containers using State Matching. In International Symposium on International Symposium on Software Testing and Analysis. USA: ACM. s. 37--48, 11 s. ISBN 1-59593-263-1. 2006. info
• PELÁNEK, Radek. Reduction and Abstraction Techniques for Model Checking. Brno: Masarykova univerzita. 160 s. 2006. info
• PELÁNEK, Radek a Pavel KRČÁL. On Sampled Semantics of Timed Systems. In Foundations of Software Technology and Theoretical Computer Science. India: Springer. s. 310-321. ISBN 978-3-540-30495-1. 2005. info
• PELÁNEK, Radek, Corina PASAREANU a Willem VISSER. Test input generation for red-black trees using abstraction. In Automated Software Engineering. USA: ACM. s. 414-417. 2005. info
• PELÁNEK, Radek, Tomáš HANŽL, Ivana ČERNÁ a Luboš BRIM. Enhancing Random Walk State Space Exploration. In Formal Methods for Industrial Critical Systems. Lisbon: ACM SIGSOFT. s. 98-105. ISBN 1-59593-148-1. 2005. info
• PELÁNEK, Radek, Corina PASAREANU a Willem VISSER. Concrete Search with Abstract Matching and Refinement. In Computer Aided Verification. Edinburgh: Springer. s. 52-66. ISBN 3-540-27231-3. 2005. info
• PELÁNEK, Radek a Jan STREJČEK. Deeper Connections between LTL and Alternating Automata. In Implementation and Application of Automata. Berlin, Heidelberg: Springer-Verlag. s. 238-249. ISBN 978-3-540-31023-5. 2005. info
• PELÁNEK, Radek, Kim G. LARSEN, Gerd BEHRMANN a Patricia BOUYER. Lower and Upper Bounds in Zone Based Abstractions of Timed Automata. In Tools and Algorithms for Construction and Analysis of Systems (TACAS 2004). Barcelona (Španělsko): Springer-Verlag. s. 312-326. ISBN 3-540-21299-X. 2004. info
• PELÁNEK, Radek. Typical Structural Properties of State Spaces. In SPIN Workshop 2004. Barcelona (Španělsko): Springer-Verlag. s. 5-22, 15 s. ISBN 3-540-21314-7. 2004. info
• BEHRMANN, Gerd, Kim G. LARSEN a Radek PELÁNEK. To Store or Not To Store. In Computer Aided Verification (CAV 2003). Boulder (Colorado, USA): Springer-Verlag. s. 433-445. ISBN 3-540-40524-0. 2003. info
• ČERNÁ, Ivana a Radek PELÁNEK. Distributed Explicit Fair Cycle Detection. In SPIN Workshop 2003. Portland (Oregon, USA): Springer-Verlag. s. 49-74, 25 s. ISBN 3-540-40117-2. 2003. info
• ČERNÁ, Ivana a Radek PELÁNEK. Relating Hierarchy of Temporal Properties to Model Checking. In Mathematical Foundations of Computer Science (MFCS 2003). Bratislava (Slovensko): Springer-Verlag. s. 318-327. ISBN 3-540-40671-9. 2003. info
• PELÁNEK, Radek. LTL Hierarchies and Model Checking. In Proceedings of the Eight ESSLLI Student Session. Wien: TU Wien. s. 245-254, 9 s. 2003. info
• BRIM, Luboš, Ivana ČERNÁ, Pavel KRČÁL a Radek PELÁNEK. Distributed LTL Model-Checking Based on Negative Cycle Detection. In FST-TCS 2001. Bangalore, India: Springer. s. 96-110. LNCS 2245. ISBN 3-540-43002-4. 2001. info
• BRIM, Luboš, Ivana ČERNÁ, Pavel KRČÁL a Radek PELÁNEK. How to Employ Reverse Search in Distributed Single-Source Shortest Paths. How to Employ Reverse Search in Distributed Single-Source Shortest Paths. In SOFSEM 2001. Piestany: Springer. s. 191-200. LNCS 2234. ISBN 3-540-42912-3. 2001. info

2018/10/08