• 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. Mojmír Křetínský, CSc.

 

Academic year 2012 - 2013
Faculty of Informatics
Spring 2013	Advances in Concurrency (DPOSO, in Czech)
	Formal Languages and Automata (IB005, in Czech)
	Formal Methods in Theory and Practice (DFOME, in Czech)
	Seminar on Concurrency (IA072, in English)
Autumn 2012	Advances in Concurrency (DPOSO, in Czech)
	Compiler Construction (PA008, in Czech)
	Formal Methods in Theory and Practice (DFOME, in Czech)
	Selected topics on automata theory (IA006, in Czech)
	Seminar on Concurrency (IA072, in English)

Academic year 2011 - 2012
Faculty of Informatics
Spring 2012	Advances in Concurrency (DPOSO, in Czech)
	Concurrency Theory (IA041, in Czech)
	Formal Languages and Automata I (IB005, in Czech)
	Formal Methods in Theory and Practice (DFOME, in Czech)
	Seminar on Concurrency (IA072, in English)
Autumn 2011	Advances in Concurrency (DPOSO, in Czech)
	Compiler Construction (PA008, in Czech)
	Formal Methods in Theory and Practice (DFOME, in Czech)
	Selected topics on automata theory (IA006, in Czech)
	Seminar on Concurrency (IA072, in English)

Academic year 2010 - 2011
Faculty of Informatics
Spring 2011	Advances in Concurrency (DPOSO, in Czech)
	Formal Languages and Automata I (IB005, in Czech)
	Formal Methods in Theory and Practice (DFOME, in Czech)
	Seminar on Concurrency (IA072, in English)
Autumn 2010	Advances in Concurrency (DPOSO, in Czech)
	Compiler Construction (PA008, in Czech)
	Formal Methods in Theory and Practice (DFOME, in Czech)
	Selected topics on automata theory (IA006, in Czech)
	Seminar on Concurrency (IA072, in English)

Academic year 2009 - 2010
Faculty of Informatics
Spring 2010	Advances in Concurrency (DPOSO, in Czech)
	Concurrency Theory (IA041, in Czech)
	Formal Languages and Automata I (IB005, in Czech)
	Seminar on Concurrency (IA072, in English)
Autumn 2009	Advances in Concurrency (DPOSO, in Czech)
	Compiler Construction (PA008, in Czech)
	Selected topics on automata theory (IA006, in Czech)
	Seminar on Concurrency (IA072, in English)

Academic year 2008 - 2009
Faculty of Informatics
Spring 2009	Advances in Concurrency (DPOSO, in Czech)
	Formal Languages and Automata I (IB005, in Czech)
	Seminar on Concurrency (IA072, in English)
Autumn 2008	Advances in Concurrency (DPOSO, in Czech)
	Compiler Construction (PA008, in Czech)
	Selected topics on automata theory (IA006, in Czech)
	Seminar on Concurrency (IA072, in English)

Academic year 2007 - 2008
Faculty of Informatics
Spring 2008	Advances in Concurrency (DPOSO, in Czech)
	Formal Languages and Automata I (IB005, in Czech)
	Seminar on Concurrency (IA072, in English)
Autumn 2007	Advances in Concurrency (DPOSO, in Czech)
	Compiler Construction (PA008, in Czech)
	Concurrency Club (IA072, in Czech)
	Selected topics on automata theory (IA006, in Czech)

Academic year 2006 - 2007
Faculty of Informatics
Spring 2007	Concurrency Club (IA072, in Czech)
	Formal Languages and Automata I (IB005, in Czech)
Autumn 2006	Compiler Construction (PA008, in Czech)
	Concurrency Club (IA072, in Czech)
	Selected topics on automata theory (IA006, in Czech)

Academic year 2005 - 2006
Faculty of Informatics
Spring 2006	Concurrency Club (IA072, in Czech)
	Concurrency Theory (IA041, in Czech)
	Formal Languages and Automata I (IB005, in Czech)
Autumn 2005	Compiler Construction (PA008, in Czech)
	Concurrency Club (IA072, in Czech)
	Selected topics on automata theory (IA006, in Czech)
	State Exam (Bc degree in Informatics) (SZBIN, in Czech)

Academic year 2004 - 2005
Faculty of Informatics
Spring 2005	Concurrency Club (IA072, in Czech)
	Formal Languages and Automata I (IB005, in Czech)
Autumn 2004	Compiler Construction (PA008, in Czech)
	Concurrency Club (IA072, in Czech)
	Selected topics on automata theory (IA006, in Czech)

Academic year 2003 - 2004
Faculty of Informatics
Spring 2004	Concurrency Club (IA072, in Czech)
	Concurrency Theory (IA041, in Czech)
	Formal Languages and Automata I (IB005, in Czech)
Autumn 2003	Automata and Grammars (IB102, in Czech)
	Compiler Construction (PA008, in Czech)
	Concurrency Club (IA072, in Czech)
	Selected topics on automata theory (IA006, in Czech)

Academic year 2002 - 2003
Faculty of Informatics
Spring 2003	Concurrency Club (IA072, in Czech)
	Formal Languages and Automata I (IB005, in Czech)
Autumn 2002	Compilers (PA008, in Czech)
	Concurrency Club (IA072, in Czech)
	Selected topics on automata theory (IA006, in Czech)

Academic year 2001 - 2002
Faculty of Informatics
Spring 2002	Concurrency Club (I072, in Czech)
	Concurrency Theory (I041, in Czech)
	Formal Languages and Automata I (I005, in Czech)
	Formal Languages and Automata I (I505, in Czech)
Autumn 2001	Compilers (P008, in Czech)
	Concurrency Club (I072, in Czech)
	Formal Languages and Automata II (I006, in Czech)

Academic year 2000 - 2001
Faculty of Informatics
Spring 2001	Concurrency Club (I072, in Czech)
	Formal Languages and Automata I (I005, in Czech)
	Formal Languages and Automata I (I505, in Czech)
Autumn 2000	Compilers (P008, in Czech)
	Concurrency Club (I072, in Czech)
	Formal Languages and Automata II (I006, in Czech)

Academic year 1999 - 2000
Faculty of Informatics
Spring 2000	Concurrency Club (I072, in Czech)
	Formal Languages and Automata I (I005, in Czech)
	Formal Languages and Automata I (I505, in Czech)
Autumn 1999	Compilers (P008, in Czech)
	Concurrency Club (I072, in Czech)
	Formal Languages and Automata II (I006, in Czech)

Academic year 1998 - 1999
Faculty of Informatics
Spring 1999	Concurrency Club (I072, in Czech)
	Concurrency Theory (I041, in Czech)
	Formal Languages and Automata I (I005, in Czech)
Autumn 1998	Compilers (P008, in Czech)
	Formal Languages and Automata II (I006, in Czech)

Academic year 1997 - 1998
Faculty of Informatics
Spring 1998	Formal Languages and Automata I (I005, in Czech)
Autumn 1997	Compilers (P008, in Czech)
	Formal Languages and Automata II (I006, in Czech)

Academic year 1996 - 1997
Faculty of Informatics
Spring 1997	Formal Languages and Automata I (I005, in Czech)
	Teorie a specifikace procesů (I041, in Czech)
Autumn 1996	Compilers (P008, in Czech)
	Formal Languages and Automata II (I006, in Czech)

Academic year 1995 - 1996
Faculty of Informatics
Spring 1996	Formal Languages and Automata I (I005, in Czech)
	Teorie a specifikace procesů (I041, in Czech)
Autumn 1995	Compilers (P008, in Czech)
	Formal Languages and Automata II (I006, in Czech)