česky | in English

Format for Printing from Your Browser, MS-Word, LaTeX, rich LaTeX

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: Vice-dean for curriculum, FI MU Brno
  • 2011-now: Associate professor, Department of Information Technologies, FI MU Brno
  • 2006-2011: Assistant professor, Department of Information Technologies, FI MU Brno
  • 2005-now: Institute for Theoretical Computer Science
Pedagogical Activities
  • Lectures: Modeling and Simulation, Real Time Systems, Programing and algorithms
  • Seminars: Programming Seminar, Seminar on Complex systems, Seminar on Digital System Design
Scientific and Research Activities
  • Current research interests: intelligent tutoring systems, educational data mining, human problem solving, computational modeling
  • Previous research interests: formal verification, model-checking, distributed computation, experimental evaluation of algorithms.
Academical Stays
  • 2005 July: summer school Aspects of Complexity, Bertinoro, Italy
  • 2005 April: research visit, Uppsala University, Sweden
  • 2004 September-November: research internship, NASA Ames Research Center, USA
  • 2004 August: summer school Marktoberdorf, Germany
  • 2003 August: European Summer School on Logic, Language, and Information, Wien, Austria
  • 2002 October -- December: study/research stay at Aalborg university, Denmark
  • 2001 June: Summer School on Logical Methods, BRICS Aarhus, Denmark
University Activities
  • 2006-2011: organizator of activities for hish-school students (e.g., correspondence seminar, contests, lectures)
  • 2006-2008: FIbot: programming contest for university students
  • 1999-2000: developer of university Information System (is.muni.cz)
Appreciation of Science Community
  • 2003, 2006: awarded the annual rector's prize, Masaryk University
    2000, 2003: awarded the annual dean's prize, Faculty of Informatics, Masaryk University
Selected Publications
  • PELÁNEK, Radek, Petr JARUŠEK and 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, 2013. p. 256-259, 4 pp. ISBN 978-0-9839525-2-7. info
  • PELÁNEK, Radek, Petr BOROŠ, Juraj NIŽNAN and 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, 2013. p. 595-598, 4 pp. ISBN 978-3-642-39111-8. doi:10.1007/978-3-642-39112-5_67. info
  • PELÁNEK, Radek and 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, 2012. p. 637-648, 12 pp. ISBN 978-3-642-27659-0. doi:10.1007/978-3-642-27660-6_52. info
  • PELÁNEK, Radek and 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, 2012. p. 379-388, 10 pp. ISBN 978-3-642-30949-6. doi:10.1007/978-3-642-30950-2_49. URL info
  • PELÁNEK, Radek and 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, 2012. p. 371-371, 1 pp. ISBN 978-1-4503-1246-2. 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), 2011. p. 434-439, 6 pp. ISBN 978-1-57735-501-4. info
  • PELÁNEK, Radek and 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), 2011. p. 428-433, 6 pp. ISBN 978-1-57735-501-4. info
  • PELÁNEK, Radek and 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, 2011. p. 374-375, 2 pp. ISBN 978-90-386-2537-9. info
  • PELÁNEK, Radek and Václav ROSECKÝ. EMMA: Explicit Model Checking Manager (Tool Presentation). In Model Checking Software. Německo: Springer, 2009. p. 169-173, 5 pp. ISBN 978-3-642-02651-5. doi:10.1007/978-3-642-02652-2_15. info
  • PELÁNEK, Radek. Model Classifications and Automated Verification. In Formal Methods for Industrial Critical Systems. Německo: Springer, 2008. p. 149-163, 15 pp. ISBN 978-3-540-79706-7. info
  • PELÁNEK, Radek. Properties of State Spaces and Their Applications. International Journal on Software Tools for Technology Transfer (STTT), Springer-Verlag GmbH, 2008, vol. 10, No 5, p. 443-454. ISSN 1433-2779. info
  • PELÁNEK, Radek. Fighting State Space Explosion: Review and Evaluation. In Formal Methods for Industrial Critical Systems. Německo: Springer, 2008. 15 pp. ISBN 3-642-03239-7. info
  • PELÁNEK, Radek, Václav ROSECKÝ and Pavel MORAVEC. Complementarity of Error Detection Techniques. In Parallel and Distributed Methods in verifiCation (PDMC 2008). Nizozemsko: Elsevier, 2008. 14 pp. ISSN 1571-0661. info
  • PELÁNEK, Radek, Corina PASAREANU and Willem VISSER. Predicate Abstraction with Under-Approximation Refinement. Logical Methods in Computer Science, Germany: Technical University of Braunschweig, 2007, vol. 3, No 1, p. 1-22. ISSN 1860-5974. LMCS journal web-page. info
  • PELÁNEK, Radek. BEEM: Benchmarks for Explicit Model Checkers. In Model Checking Software. Německo: Springer, 2007. p. 263-267, 5 pp. ISBN 3-540-73369-8. BEEM webpage info
  • PELÁNEK, Radek, Kim G. LARSEN, Gerd BEHRMANN and 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, 2006, vol. 8, No 3, p. 204-215. ISSN 1433-2779. info
  • PELÁNEK, Radek, Corina PASAREANU and Willem VISSER. Test Input Generation for Java Containers using State Matching. In International Symposium on International Symposium on Software Testing and Analysis. USA: ACM, 2006. p. 37--48, 11 pp. ISBN 1-59593-263-1. info
  • PELÁNEK, Radek. Reduction and Abstraction Techniques for Model Checking. Brno: Masarykova univerzita, 2006. 160 pp. info
  • PELÁNEK, Radek and Pavel KRČÁL. On Sampled Semantics of Timed Systems. In Foundations of Software Technology and Theoretical Computer Science. India: Springer, 2005. p. 310-321, 12 pp. ISBN 978-3-540-30495-1. info
  • PELÁNEK, Radek, Corina PASAREANU and Willem VISSER. Test input generation for red-black trees using abstraction. In Automated Software Engineering. USA: ACM, 2005. p. 414-417, 4 pp. info
  • PELÁNEK, Radek, Tomáš HANŽL, Ivana ČERNÁ and Luboš BRIM. Enhancing Random Walk State Space Exploration. In Formal Methods for Industrial Critical Systems. Lisbon: ACM SIGSOFT, 2005. p. 98-105, 8 pp. ISBN 1-59593-148-1. info
  • PELÁNEK, Radek, Corina PASAREANU and Willem VISSER. Concrete Search with Abstract Matching and Refinement. In Computer Aided Verification. Edinburgh: Springer, 2005. p. 52-66, 15 pp. ISBN 3-540-27231-3. info
  • PELÁNEK, Radek and Jan STREJČEK. Deeper Connections between LTL and Alternating Automata. In Implementation and Application of Automata. Berlin, Heidelberg: Springer-Verlag, 2005. p. 238-249, 12 pp. ISBN 978-3-540-31023-5. info
  • PELÁNEK, Radek, Kim G. LARSEN, Gerd BEHRMANN and 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, 2004. p. 312-326, 15 pp. ISBN 3-540-21299-X. info
  • PELÁNEK, Radek. Typical Structural Properties of State Spaces. In SPIN Workshop 2004. Barcelona (Španělsko): Springer-Verlag, 2004. p. 5-22, 15 pp. ISBN 3-540-21314-7. info
  • BEHRMANN, Gerd, Kim G. LARSEN and Radek PELÁNEK. To Store or Not To Store. In Computer Aided Verification (CAV 2003). Boulder (Colorado, USA): Springer-Verlag, 2003. p. 433-445, 13 pp. ISBN 3-540-40524-0. info
  • ČERNÁ, Ivana and Radek PELÁNEK. Distributed Explicit Fair Cycle Detection. In SPIN Workshop 2003. Portland (Oregon, USA): Springer-Verlag, 2003. p. 49-74, 25 pp. ISBN 3-540-40117-2. info
  • ČERNÁ, Ivana and Radek PELÁNEK. Relating Hierarchy of Temporal Properties to Model Checking. In Mathematical Foundations of Computer Science (MFCS 2003). Bratislava (Slovensko): Springer-Verlag, 2003. p. 318-327, 10 pp. ISBN 3-540-40671-9. info
  • PELÁNEK, Radek. LTL Hierarchies and Model Checking. In Proceedings of the Eight ESSLLI Student Session. Wien: TU Wien, 2003. p. 245-254, 9 pp. info
  • BRIM, Luboš, Ivana ČERNÁ, Pavel KRČÁL and Radek PELÁNEK. Distributed LTL Model-Checking Based on Negative Cycle Detection. In FST-TCS 2001. Bangalore, India: Springer, 2001. p. 96-110. LNCS 2245. ISBN 3-540-43002-4. info
  • BRIM, Luboš, Ivana ČERNÁ, Pavel KRČÁL and Radek PELÁNEK. How to Employ Reverse Search in Distributed Single-Source Shortest Paths (Distributed LTL Model-Checking Based on Negative Cycle Detection). How to Employ Reverse Search in Distributed Single-Source Shortest Paths. In SOFSEM 2001. Piestany: Springer, 2001. p. 191-200. LNCS 2234. ISBN 3-540-42912-3. info

2012/06/21


Curriculum vitae: doc. Mgr. Radek Pelánek, Ph.D. (učo 4297), version: English(1), last update: 2012/06/21 12:08, R. Pelánek

Other references: 


Go to top | Current date and time: 23. 9. 2014 14:19, Week 39 (odd)

Contact: istech(zavináč/atsign)fi(tečka/dot)muni(tečka/dot)cz, Office for Studies, access rights administrators, is-technicians, e-technicians, IT support | learn more about Information System