Formát pro tisk z prohlížeče, MS-Word, LaTeX, rich LaTeX

Curriculum vitae

Personal Data
  • Mgr. Jan Obdržálek, Ph.D., born Dec. 9, 1977 in Brno, Czechoslovakia, married
Workplace
  • Institute for Theoretical Computer Science
    Faculty of Informatics
    Masaryk University
    Botanicka 68a
    602 00 Brno
    Czech Republic

Employment Position
  • Researcher
Education and Academic Qualifications
  • 2006: PhD in Computer Science, University of Edinburgh. Thesis: Algorithmic Analysis of Parity Games. Supervisor: Prof. Colin Stirling, Examiners: Dr. Kousha Etessami (University of Edinburgh), Prof. Dr. Thomas Wilke (CAU Kiel, Germany
  • 2001: Mgr. (master's degree) in computer science, Faculty of Informatics Masaryk University, Brno, Czech Republic. Thesis: Formal verification of sequential systems with infinitely many states. Supervisor: Dr. Antonín Kučera
Employment Summary
  • 2006 - : Researcher, Institute for Theoretical Computer Science, Faculty of Informatics, Masaryk University.
Pedagogical Activities
  • Graph Theory [2006]
  • Induction and Recursion [2006]
  • Computability & Intractability [2005]
  • CS3 Computability & Intractability [2002, 2003]
  • CS3 Language Semantics and Implementation [2002, 2003]
  • Formal Languages and Automata [1999,2000,2001]
Research Interets
  • Structural graph theory, infinite games on graphs (esp. parity games), mu-calculus, verification of infinite state systems, software model checking, OpenMP for Java.
Academic Stays
  • 2004-2005: A five-month stay at the RWTH Aachen, Germany. Funded by RTN GAMES.
  • 2000: Summer Scholarship Programme, July 3 – September 8, EPCC, University of Edinburgh, UK. Awarded a full stipend.
Projects
  • 2006 - :Institute for Theoretical Computer Science - Formal verification, analysis, and testing of software systems [Project Supervisor]
  • 2002-2006: RTN Games / Edinburgh
  • 2000-2006: ParaDiSe - Parallel and Distributed Systems laboratory
Appreciation of Science Community
  • 2001: Awarded the Overseas Research Students Award (ORS) paying the difference between home and overseas fees (very competitive).
  • 2001: Awarded Engineering and Physical Science Research Council (EPSRC) studentship covering fees, research costs and maintenance during PhD in Edinburgh.
  • 2001: Awarded the annual rector’s prize for the best student, Masaryk university.
Selected Publications
  • GANIAN, Robert, Petr HLINĚNÝ, Joachim KNEIS, Alexander LANGER, Jan OBDRŽÁLEK a Peter ROSSMANITH. Digraph width measures in parameterized algorithmics. Discrete Applied Mathematics, Elsevier B.V., 2014, roč. 168, č. 1, s. 88-107. ISSN 0166-218X. doi:10.1016/j.dam.2013.10.038. info
  • GANIAN, Robert, Petr HLINĚNÝ a Jan OBDRŽÁLEK. Unified Approach to Polynomial Algorithms on Graphs of Bounded (bi-)Rank-width. European Journal of Combinatorics, Elsevier, 2013, roč. 34, č. 3, s. 680-701. ISSN 0195-6698. doi:10.1016/j.ejc.2012.07.024. info
  • GAJARSKÝ, Jakub, Petr HLINĚNÝ, Jan OBDRŽÁLEK, Sebastian ORDYNIAK, Felix REIDL, Peter ROSSMANITH, Fernando Sanchez VILLAAMIL a Somnath SIKDAR. Kernelization Using Structural Parameters on Sparse Graph Classes. In Hans L. Bodlaender a Giuseppe F. Italiano. ESA 2013. Berlin Heidelberg: Springer, 2013. s. 529-540, 12 s. ISBN 978-3-642-40449-8. doi:10.1007/978-3-642-40450-4_45. info
  • GANIAN, Robert, Petr HLINĚNÝ, Daniel KRÁĽ, Jan OBDRŽÁLEK, Jarett SCHWARTZ a Jakub TESKA. FO Model Checking of Interval Graphs. In Fedor V. Fomin, Rusins Freivalds, Marta Z. Kwiatkowska, David Peleg. ICALP (2) 2013. Berlin Heidelberg: Springer, 2013. s. 250-262, 13 s. ISBN 978-3-642-39211-5. doi:10.1007/978-3-642-39212-2_24. info
  • BERWANGER, Dietmar, Anuj DAWAR, Paul HUNTER, Stephan KREUTZER a Jan OBDRŽÁLEK. The DAG-width of directed graphs. Journal of Combinatorial Theory, Ser B, Amsterdam: Elsevier B.V., 2012, roč. 102, č. 4, s. 900-923. ISSN 0095-8956. doi:10.1016/j.jctb.2012.04.004. info
  • OBDRŽÁLEK, Jan a Marek TRTÍK. Efficient Loop Navigation for Symbolic Execution. In Tevfik Bultan and Pao-Ann Hsiung. Automated Technology for Verification and Analysis, 9th International Symposium, ATVA 2011. Heidelberg: Springer-Verlag, 2011. s. 453-462, 10 s. ISBN 978-3-642-24371-4. doi:10.1007/978-3-642-24372-1_34. info
  • BRÁZDIL, Tomáš, Václav BROŽEK, Antonín KUČERA a Jan OBDRŽÁLEK. Qualitative Reachability in Stochastic BPA Games. In Proceedings of the 26th International Symposium on Theoretical Aspects of Computer Science. Freiburg, Germany: IBFI Schloss Dagstuhl, 2009. s. 207-218, 12 s. ISBN 978-3-939897-09-5. DOI info
  • GANIAN, Robert, Petr HLINĚNÝ, Jan OBDRŽÁLEK, Alexander LANGER, Joachim KNEIS a Peter ROSSMANITH. On Digraph Width Measures in Parameterized Algorithmics. In IWPEC 2009: International Workshop on Parameterized and Exact Computation, Lecture Notes in Computer Science. 5917. vyd. Berlin: Springer Verlag, 2009. s. 185-197, 13 s. ISBN 978-3-642-11268-3. doi:10.1007/978-3-642-11269-0_15. DOI Conference info
  • OBDRŽÁLEK, Jan, Marek TRTÍK a Jiří SLABÝ. Stanse - Static Analysis Framework for C Code. 2008. Domovská stránka nástroje Stanse info
  • OBDRŽÁLEK, Jan. Clique-Width and Parity Games. In Computer Science Logic 2007, proceedings. Berlin: Springer-Verlag, 2007. s. 54-68, 15 s. ISBN 978-3-540-74914-1. info
  • OBDRŽÁLEK, Jan. DAG-width - Connectivity Measure for Directed Graphs. In Proceedings of the Seventeenth Annual ACM-SIAM Symposium on Discrete Algorithms. New York/Philadelphia: Association for Computing Machinery/Society for Industrial and Applied Mathematics, 2006. s. 814--821, 8 s. ISBN 0-89871-605-5. info
  • OBDRŽÁLEK, Jan. Fast Mu-calculus Model Checking when Tree-width is Bounded. In CAV 2003. Berlin Heidelberg: Springer-Verlag, 2003. s. 80-92, 13 s. ISBN 3-540-40524-0. info
  • OBDRŽÁLEK, Jan, J. M. BULL a L. A. SMITH. A Parallel Java Grande Benchmark Suite. In Proceedings of the 2001 ACM/IEEE conference on Supercomputing (CDROM). : ACM Press, 2001. s. 8-8, 1 s. info
  • KAMBITES, M. E., J. M. BULL a Jan OBDRŽÁLEK. An OpenMP-like interface for parallel programming in Java. Concurrency and Computation: Practice and Experience, John Wiley & Sons, Inc, 2001, roč. 13, 8-9, s. 793-814. ISSN 1532-0626. info

2009/01/05


Curriculum vitae: Mgr. Jan Obdržálek, PhD. (učo 1552), version: English(2), last update: 2009/01/05 16:35, J. Obdržálek

Relevantní odkazy 


Nahoru | Aktuální datum a čas: 18. 11. 2017 18:31, 46. (sudý) týden

Kontakty: istech(zavináč/atsign)fi(tečka/dot)muni(tečka/dot)cz, studijní odd., správci práv, is-technici, e-technici, IT podpora | Použití cookies | Více o Informačním systému