• Skip the Organizational structure panel
• Organizational structure

  On selecting a constituent part of MU the "Staff" page will be displayed with information relevant to the selected constituent part. The "Staff" page is not available for non-activated items.

  Masaryk University

  • Faculties
  • Law
  • Medicine
  • Science
  • Arts
  • Education
  • Economics
  • Informatics
  • Social Studies
  • Sports Studies

  • Institutes
  • Computer Science
  • CEITEC MU
  • Politica
  • Specialized Units
  • Hostels & Canteens
  • University Press
  • Telč Centre
  • UCB Management

  • Rector`s Office
  • Rectorate
  • Other Units
  • Archive
  • Language Centre
  • International Studies
  • Disabled Students
  • Technology Transfer
  • Biostatistics
  • Mendel Museum
  • CERIT
  • Civic Education
  • Project Team CEITEC

   

Assoc. Prof. Mgr. Radek Pelánek, Ph.D.

 

• Radek Pelánek

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

• Associate professor

• 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

• 2010-now: Associate professor, Department of Information Technologies, FI MU Brno
• 2006-2010: Assistant professor, Department of Information Technologies, FI MU Brno
• 2005-now: Institute for Theoretical Computer Science

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

• Current research interests: cognitive science, human problem solving, computational modeling
• Previous research interests: formal verification, model-checking, distributed computation, experimental evaluation of algorithms.

• 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

• 2006-now: 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)

• 2003, 2006: awarded the annual rector's prize, Masaryk University
  2000, 2003: awarded the annual dean's prize, Faculty of Informatics, Masaryk University

• 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, 2011. od s. 374-375, 2 s. ISBN 978-90-386-2537-9.  info
• PELÁNEK, Radek a Václav ROSECKÝ. EMMA: Explicit Model Checking Manager (Tool Presentation). In Model Checking Software. Německo: Springer, 2009. od s. 169-173, 5 s. ISBN 978-3-642-02651-5.  info
• PELÁNEK, Radek. Model Classifications and Automated Verification. In Formal Methods for Industrial Critical Systems. Německo: Springer, 2008. od s. 149-163, 15 s. 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, 10, 5, od s. 443-454, 12 s. 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, 2008. 15 s. ISBN 3-642-03239-7.  info
• PELÁNEK, Radek a Václav ROSECKÝ a Pavel MORAVEC. Complementarity of Error Detection Techniques. In Parallel and Distributed Methods in verifiCation (PDMC 2008). Nizozemsko: Elsevier, 2008. 14 s. ISSN 1571-0661.  info
• PELÁNEK, Radek a Corina PASAREANU a Willem VISSER. Predicate Abstraction with Under-Approximation Refinement. Logical Methods in Computer Science, Germany: Technical University of Braunschweig, 3, 1, od s. 1-22, 22 s. 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, 2007. od s. 263-267, 5 s. ISBN 3-540-73369-8. BEEM webpage info
• PELÁNEK, Radek a Kim G. LARSEN a 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, 8, 3, od s. 204-215, 12 s. ISSN 1433-2779. 2006.  info
• PELÁNEK, Radek a 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, 2006. od s. 37--48, 11 s. ISBN 1-59593-263-1.  info
• PELÁNEK, Radek. Reduction and Abstraction Techniques for Model Checking. Brno: Masarykova univerzita, 2006. 160 s.  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, 2005. od s. 310-321, 12 s. ISBN 978-3-540-30495-1.  info
• PELÁNEK, Radek a Corina PASAREANU a Willem VISSER. Test input generation for red-black trees using abstraction. In Automated Software Engineering. USA: ACM, 2005. od s. 414-417, 4 s.  info
• PELÁNEK, Radek a Tomáš HANŽL a Ivana ČERNÁ a Luboš BRIM. Enhancing Random Walk State Space Exploration. In Formal Methods for Industrial Critical Systems. Lisbon: ACM SIGSOFT, 2005. od s. 98-105, 8 s. ISBN 1-59593-148-1.  info
• PELÁNEK, Radek a Corina PASAREANU a Willem VISSER. Concrete Search with Abstract Matching and Refinement. In Computer Aided Verification. Edinburgh: Springer, 2005. od s. 52-66, 15 s. ISBN 3-540-27231-3.  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, 2005. od s. 238-249, 12 s. ISBN 978-3-540-31023-5.  info
• PELÁNEK, Radek a Kim G. LARSEN a 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, 2004. od s. 312-326, 15 s. 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. od s. 5-22, 15 s. ISBN 3-540-21314-7.  info
• BEHRMANN, Gerd a Kim G. LARSEN a Radek PELÁNEK. To Store or Not To Store. In Computer Aided Verification (CAV 2003). Boulder (Colorado, USA): Springer-Verlag, 2003. od s. 433-445, 13 s. ISBN 3-540-40524-0.  info
• ČERNÁ, Ivana a Radek PELÁNEK. Distributed Explicit Fair Cycle Detection. In SPIN Workshop 2003. Portland (Oregon, USA): Springer-Verlag, 2003. od s. 49-74, 25 s. ISBN 3-540-40117-2.  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, 2003. od s. 318-327, 10 s. 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. od s. 245-254, 9 s.  info
• BRIM, Luboš a Ivana ČERNÁ a Pavel KRČÁL a Radek PELÁNEK. Distributed LTL Model-Checking Based on Negative Cycle Detection. In FST-TCS 2001. Bangalore, India: Springer, 2001. s. 96-110. LNCS 2245. ISBN 3-540-43002-4.  info
• BRIM, Luboš a Ivana ČERNÁ a 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, 2001. s. 191-200. LNCS 2234. ISBN 3-540-42912-3.  info

Last update: 2011/10/12