Curriculum vitae

Education and academic qualification

• 1981-09-21 - 1982-06-21

  Palacky University
  B.C.
  

• 1982-09-21 - 1985-06-21

  Palacky University
  M.S.
  

• 1985-06-21 - 1988-12-21

  BUT Brno
  PhD
  

• 1988-12-21 - 1996-06-27

  University of Missouri
  Visiting Assistant Professor
  

• 1996-06-27 - 1998-06-27

  BUT Computing Center
  Senior Researcher
  

• 1998-06-27 - ...

  FIT BUT
  Professor
  

Scientific activities

• Mathematically oriented computer science
• Areas of Special Interest: automata, formal languages, compilers, computer algebra, graphs, metamathematics
• My work website