• 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

   

Prof. RNDr. Antonín Kučera, Ph.D.

 

Academic year 2012 - 2013
Faculty of Informatics
Spring 2013	Compiler Project (PA037, in Czech)
	Formal Methods in Theory and Practice (DFOME, in Czech)
	Petri Nets (IA023, in Czech)
	Programming Language Semantics (IA011, in Czech)
Autumn 2012	Advances in Concurrency (DPOSO, in Czech)
	Formal Methods in Theory and Practice (DFOME, in Czech)
	Mathematical Logic (MA007, in Czech)
	Seminar on stochastic methods (IV075, in Czech)

Academic year 2011 - 2012
Faculty of Informatics
Spring 2012	Compiler Project (PA037, in Czech)
	Formal Methods in Theory and Practice (DFOME, in Czech)
	Petri Nets (IA023, in Czech)
	Programming Language Semantics (IA011, in Czech)
	Working Seminar on Formal Models, Discrete Structures, and Algorithms (FMDSA, in English)
Autumn 2011	Advances in Concurrency (DPOSO, in Czech)
	Formal Methods in Theory and Practice (DFOME, in Czech)
	Mathematical Logic (MA007, in Czech)
	Seminar on stochastic methods (IV075, in Czech)

Academic year 2010 - 2011
Faculty of Informatics
Spring 2011	Compiler Project (PA037, in Czech)
	Formal Methods in Theory and Practice (DFOME, in Czech)
	Petri Nets (IA023, in Czech)
	Programming Language Semantics (IA011, in Czech)
Autumn 2010	Advances in Concurrency (DPOSO, in Czech)
	Formal Methods in Theory and Practice (DFOME, in Czech)
	Mathematical Logic (MA007, in Czech)
	Seminar on stochastic methods (IV075, in Czech)

Academic year 2009 - 2010
Faculty of Informatics
Spring 2010	Compiler Project (PA037, in Czech)
	Formal Methods in Theory and Practice (DFOME, in Czech)
	Petri Nets (IA023, in Czech)
	Programming Language Semantics (IA011, in Czech)
Autumn 2009	Advances in Concurrency (DPOSO, in Czech)
	Formal Methods in Theory and Practice (DFOME, in Czech)
	Mathematical Logic (MA007, in Czech)
	Seminar on stochastic methods (IV075, in Czech)

Academic year 2008 - 2009
Faculty of Informatics
Spring 2009	Compiler Project (PA037, in Czech)
	Formal Methods in Theory and Practice (DFOME, in Czech)
	Petri Nets (IA023, in Czech)
	Programming Language Semantics (IA011, in Czech)
Autumn 2008	Formal Methods in Theory and Practice (DFOME, in Czech)
	Mathematical Logic (MA007, in Czech)

Academic year 2007 - 2008
Faculty of Informatics
Spring 2008	Compiler Project (PA037, in Czech)
	Formal Methods in Theory and Practice (DFOME, in Czech)
	Petri Nets (IA023, in Czech)
	Programming Language Semantics (IA011, in Czech)
Autumn 2007	Formal Methods in Theory and Practice (DFOME, in Czech)
	Mathematical Logic (MA007, in Czech)

Academic year 2006 - 2007
Faculty of Informatics
Spring 2007	Compiler Project (PA037, in Czech)
	Petri Nets (IA023, in Czech)
	Programming Language Semantics (IA011, in Czech)
Autumn 2006	Mathematical Logic (MA007, in Czech)

Academic year 2005 - 2006
Faculty of Informatics
Spring 2006	Compiler Project (PA037, in Czech)
	Petri Nets (IA023, in Czech)
	Programming Language Semantics (IA011, in Czech)
Autumn 2005	Induction and Recursion (IB000, in Czech)
	Mathematical Logic (MA007, in Czech)
	State Exam (Bc degree in Informatics) (SZBIN, in Czech)

Academic year 2004 - 2005
Faculty of Informatics
Spring 2005	Compiler Project (PA037, in Czech)
	Parallel Computing (IA009, in Czech)
	Programming Language Semantics (IA011, in Czech)
Autumn 2004	Induction and Recursion (IB000, in Czech)
	Petri Nets (IA023, in Czech)

Academic year 2003 - 2004
Faculty of Informatics
Spring 2004	Compiler Project (PA037, in Czech)
	Parallel Computing (IA009, in Czech)
	Programming Language Semantics (IA011, in Czech)
Autumn 2003	Induction and Recursion (IB000, in Czech)
	Petri Nets (IA023, in Czech)

Academic year 2002 - 2003
Faculty of Informatics
Spring 2003	Compiler Project (PA037, in Czech)
	Parallel Computing (IA009, in Czech)
	Programming Language Semantics (IA011, in Czech)
Autumn 2002	Petri Nets (IA023, in Czech)
	Programming Language Semantics (IA011, in Czech)

Academic year 2001 - 2002
Faculty of Informatics
Spring 2002	Compiler Project (P037, in Czech)
	Parallel Computing (I009, in Czech)
Autumn 2001	Petri Nets (I023, in Czech)
	Programming Language Semantics (I011, in Czech)

Academic year 2000 - 2001
Faculty of Informatics
Spring 2001	Compiler Project (P037, in Czech)
	Parallel Computing (I009, in Czech)
Autumn 2000	Petri Nets (I023, in Czech)
	Programming Language Semantics (I011, in Czech)

Academic year 1999 - 2000
Faculty of Informatics
Spring 2000	Parallel Computing (I009, in Czech)
	Programming Language Semantics (I011, in Czech)

Academic year 1997 - 1998
Faculty of Informatics
Spring 1998	Compiler Project (P037, in Czech)
Autumn 1997	Structure of Programming Languages (P006, in Czech)

Academic year 1996 - 1997
Faculty of Informatics
Spring 1997	Compiler Project (P037, in Czech)

Academic year 1995 - 1996
Faculty of Informatics
Spring 1996	Compiler Project (P037, in Czech)