My teaching and Information for students

Prof. RNDr. Petr Hliněný, Ph.D.
Faculty of Informatics MU Brno, CZ
Office C418 in the FI building, 4th floor
Calendar of my teaching, exams, office hours

This page is under construction (as of Sep 2014) - wait a bit longer for the full version...

Teaching: Autumn,  IB000 and MA010

  • FI:IB000 Mathematical Foundations of CS;
    • syllabus,  and news (Cz).
    • This course introduces students to a university-level mathematics, with formal definitions, statements and proofs, and with an emphasis on discrete math and its CS applications.

  • FI:MA010 Graph Theory;
    • syllabus,  and news.
    • This course covers all standard topics of graph theory (on the master level with proofs) and outlines their typical algorithmic applications.

Teaching: Spring selective seminars

  • FI:IV125 Formela lab seminar;
    • up-to-date seminar details.
    • My research seminar topics are related to advanced structural or topological graph theory (replacing previous separate subjects MA051,2,3).

  • And, the following IV119 seminar for young students...

FI:IV119 Seminar on Discrete Mathematical Methods

This is an informal Spring seminar for all students who like mathematics, and especially beatiful mathematical problems, solutions, and proofs - as presented to us by famous "Proofs from THE BOOK". If you have ever tried "Mathematical olympiad" or other math competitions at elementary and high schools, then drop by and see how easy is to get from math fun to serious real science. Especially first year students with interest in math are most warmly welcome!

  • For all young students who like nice clean mathematics, no prerequisites required.
    Official seminar entry in IS
  • Spring 2017 seminar: in C417, Wednesday 8-10 every week
    • So, which problems to deal with this year? We will (traditionally) begin with the number of primes, and we will also look this year at various proofs of Euler's formula... (see this) Then we will pick other nice problems (and their solutions) from number theory, discrete geometry, combinatorics and graphs...
    • For every interested students, think about the following already before the first seminar:
      What Euler's formula says for a polytope in 4D? How to prove it, knowing the 3D version?
      Alternatively: Imagine a simplex in 3D, and several (or many) points inside it. Can you now cut the big simplex into smaller simplices such that their vertices will be the original vertices or the given internal points, and that every two of these points will share an edge of some simplex? (I.e., the net of this complex shall be the complete graph.) How would you describe such a cutting?
    • Come and see us (even if you participated in 2016 - we will study different topics of The Book)...
  • See also a list of past 2016 topics here.

Bc/Ms thesis topics at FI MU Brno, CZ

Generally, any chosen sufficiently interesting topic of graph theory or related algorithmic questions, including parameterized complexity, may be taken for thesis under my supervision - based on prior mutual agreement. The preference is for topics doing a least a bit of scientific research, and written up in English.

  • Officially listed (generic) Bachelor thesis topic.
  • For the master level, you may browse under my name the whole list of Master thesis topics.
    • The topics include, e.g, studying width parameters and related games, computing the decompositions, designing parameterized algorithms on graphs, studying crossing number questions, the practical route-planning problem, etc...
  • Selected most successful past thesis titles:
    • Characterizing DAG-depth of directed graphs, Efficient solvability of graph MSO properties, Partitioning of Weighted Graphs into k Connected Subgraphs, Construction of planar emulators of graphs, Efficient route-planning in huge graphs, Planar graph emulators: Fellows' conjecture, Automata-formalization for graphs of bounded rank-width...
  • A list of my all supervised students at FI MU Brno, CZ.
  • See also the current research directions and results of our group.
Read about  Ph.D. study in our group

Recent achievements of our students (2012)

  • Rector's Awards MU:
    J. Gajarsk&yaccute;, 2016 Rector's Award for the Best Students in Doctoral Programmes,
    J. Gajarsk&yaccute;, 2017 Rector's Award for an Outstanding Doctoral Thesis.
  • Undergraduate student scientific competition SVOČ (in Math&CS):
    1st prize R. Ganian (2008),
    2nd prizes O. Moriš (2008), M. Derka (2010), M. Klusáček (2011), J. Gajarský (2012), M. Bezek (2016).
  • Student research grants at MU (Program rektora)
    R. Ganian in 2009-11, M. Derka in 2010-11.
  • Best student papers of:
    SOFSEM 2011 (R. Ganian), MEMICS 2011 (O. Moriš).
  • Selected publication coauthored with my students: