Welcome to my academic pages!
Doc. RNDr. Petr Hliněný, Ph.D.
Associate professor
@ynenilhfi.muni.cz
Faculty of Informatics MU Brno, CZ
Botanická 68a, 602 00 Brno
Office G204
Chaloupeckého nám. in "Gotex" building B
Calendar of my teaching, office hours, and duties
Scientific research - overview (read more)
- Main research directions (actual information):
- discrete mathematics, graph theory (structural and topological)
- theoretical computer science (combinatorial algorithms, parameterized complexity, logic)
- Our research group at FI MU Brno, CZ,
faculty - Petr Hliněný, Jan Obdržálek, Reshma Ramadurai, Sebastian Ordyniak. - Current Ph.D. students (official listing):
Ondrej Moriš (since 2010-), Jakub Gajarský (since 2012-), Marek Derňár (since 2012-). - Some past students:
Robert Ganian (Ph.D. 2012), - An overview of our research collaboration.
- Research opportunities for students (more details):
- try to do more, e.g. the various bonus assignments, in my courses,
- visit our student FI:IV119 Seminar on Discrete Mathematical Methods,
- see bachelor/master thesis topics related to our research
and read about scientific achievements of our students, - opportunity of a PhD study
- with stipend (good foreign applicants welcome):
Generally speaking, any theoretical research into graphs (with emphasis on structural and topological graph theory) and into graph algorithms (with emphasis on parameterized complexity) can be discussed. See our current research directions.
- A short list of selected recent publications
(full list):
Petr Hliněný- 2013 (co-authors R. Ganian, D. Král', J. Obdržálek, J. Schwartz, J. Teska): FO Model Checking of Interval Graphs. In: ICALP 2013, Lecture Notes in Computer Science, Springer (2013), to appear. URL: arxiv.org/abs/1302.6043. Preprint/file.
- 2013 (co-authors R. Ganian, J. Obdržálek): Unified Approach to Polynomial Algorithms on Graphs of Bounded (bi-)Rank-width. European J. Combinatorics (2013), 680-701. DOI 10.1016/j.ejc.2012.07.024. © Elsevier B.V. Preprint/file.
- 2013 (co-authors M. Chimani, M. Derka, M. Klusáček): How Not to Characterize Planar-emulable Graphs. Advances in Applied Mathematics 50 (2013), 46-68. URL: arxiv.org/abs/1107.0176. DOI 10.1016/j.aam.2012.06.004. © Elsevier B.V. Addendum.
- 2012 (co-author J. Gajarský): Faster Deciding MSO Properties of Trees of Fixed Height, and Some Consequences. In: FSTTCS 2012, Leibniz International Proceedings in Informatics LIPIcs, Vol. 18, Dagstuhl (2012), 112-123. URL: arxiv.org/abs/1204.5194. DOI 10.4230/LIPIcs.FSTTCS.2012.112.
- 2012 (co-authors R. Ganian, J. Nešetřil, J. Obdržálek, P. Ossona de Mendez, R. Ramadurai): When Trees Grow Low: Shrubs and Fast MSO1. In: Math Foundations of Computer Science MFCS 2012, Lecture Notes in Computer Science 7464, Springer (2012), 419-430. DOI 10.1007/978-3-642-32589-2_38. © Springer-Verlag. Preprint/file.
- 2012 (co-authors R. Ganian, A. Langer, J. Obdržálek, P. Rossmanith, S. Sikdar): Lower Bounds on the Complexity of MSO1 Model-Checking. In: Symposium on Theoretical Aspects of Computer Science STACS 2012, Leibniz International Proceedings in Informatics LIPIcs Vol 14, Dagstuhl (2012), 326-337. URL: arxiv.org/abs/1109.5804. DOI 10.4230/LIPIcs.STACS.2012.326.
- 2012 (co-authors M. Chimani, P. Mutzel): Vertex Insertion approximates the Crossing Number for Apex Graphs. European J. Combinatorics 33 (2012), 326-335. DOI 10.1016/j.ejc.2011.09.009. © Elsevier B.V. Preprint/file.
- 2011 (co-author O. Moriš): Scope-based route planning. In: ESA 2011, Lecture Notes in Computer Science 6942, Springer (2011), 445-456. URL: arxiv.org/abs/1101.3182. DOI 10.1007/978-3-642-23719-5_38. © Springer-Verlag.
- 2011 (co-author M. Chimani): A Tighter Insertion-based Approximation of the Crossing Number. In: ICALP 2011, Part I, Lecture Notes in Computer Science 6755, Springer (2011), 122-134. DOI 10.1007/978-3-642-22006-7_11. © Springer-Verlag. Preprint/file.
- 2011 (co-authors R. Ganian, J. Obdržálek): Clique-width: When Hard Does Not Mean Impossible. In: Symposium on Theoretical Aspects of Computer Science STACS 2011, Leibniz International Proceedings in Informatics LIPIcs Vol 9, Dagstuhl (2011), 404-415. URL: drops.dagstuhl.de/opus/volltexte/2011/3030. DOI 10.4230/LIPIcs.STACS.2011.404.
- 2010 (co-authors R. Ganian, J. Kneis, D. Meister, J. Obdržálek, P. Rossmanith, S. Sikdar): Are there any good digraph width measures?. In: IPEC 2010, Lecture Notes in Computer Science 6478, Springer Verlag (2010), 135-146. URL: arxiv.org/abs/1004.1485v1. DOI 10.1007/978-3-642-17493-3_14. © Springer-Verlag.
- 2010: 20 Years of Negami's Planar Cover Conjecture. Graphs and Combinatorics 26 (2010), 525-536. DOI 10.1007/s00373-010-0934-9. © Springer-Verlag. Preprint/file. Addendum.
- 2010 (co-author M. Chimani): Approximating the Crossing Number of Graphs Embeddable in Any Orientable Surface. In: Symposium on Discrete Algorithms SODA 2010, ACM-SIAM (2010), 918-927. URL: www.siam.org/proceedings/soda/2010/soda10.php. © Society for Industrial and Applied Mathematics. Preprint/file.
Teaching and Academic matters (read more)
Petr Hliněný: official faculty personal page at FI MU Brno, CZ
- My courses taught at FI MU Brno, CZ
(official info):
- Autumn: "mass" courses (read more)
FI:MA010 Graph Theory, syllabus
FI:IB000 Mathematical Foundations of CS, syllabus
refer to this calendar for teaching hours, exams, etc. - Spring: selective seminar-like courses (read more);
FI:MA051 Advanced Graph Theory - Topological (2012)
FI:MA052 Advanced Graph Theory - Structural (2013)
etc ... see also the IS listing. - More for interested young students:
FI:IV119 Seminar on Discrete Mathematical Methods (in IS)
- Autumn: "mass" courses (read more)
- Study programme of Mathematical Informatics
(official info):
- bachelor degree program offered for students who want to know more on mathematical background of Computer Science, and who would, perhaps, like to continue an academic career in theoretical CS,
- great opportunities for theory research are offered to students already at the Bachelor level, among others within our research group.
- Once again, a selection of my Bc/Ms thesis topics at FI MU Brno, CZ,
- possibility of a PhD study at FI MU Brno, CZ - with stipend,
- and numerous opportunities for students to join our theoretical research.
