• 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

   

RNDr. Jan Strejček, Ph.D.

 

Academic year 2012 - 2013
Faculty of Informatics
Spring 2013	Formal Languages and Automata (IB005, in Czech)
	Formal Verification Methods (IA159, in English)
	Math Foundations (IB112, in Czech)
	Seminar on Concurrency (IA072, in English)
Autumn 2012	Automata and Grammars (IB102, 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	Formal Languages and Automata I (IB005, in Czech)
	Formal Verification Methods (IA159, in English)
	Math Foundations (IB112, in Czech)
	Seminar on Concurrency (IA072, in English)
Autumn 2011	Automata and Grammars (IB102, 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	Formal Languages and Automata I (IB005, in Czech)
	Formal Verification Methods (IA159, in English)
	Math Foundations (IB112, in Czech)
	Seminar on Concurrency (IA072, in English)
Autumn 2010	Automata and Grammars (IB102, 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	Formal Languages and Automata I (IB005, in Czech)
	Formal Verification Methods (IA159, in English)
	Math Foundations (IB112, in Czech)
	Seminar on Concurrency (IA072, in English)
Autumn 2009	Automata and Grammars (IB102, 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	Computational Logic (IA008, in English)
	Formal Languages and Automata I (IB005, in Czech)
	Formal Verification Methods (IA159, in English)
	Seminar on Concurrency (IA072, in English)
Autumn 2008	Automata and Grammars (IB102, 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	Computational Logic (IA008, in English)
	Design of Algorithms I (IB002, in Czech)
	Formal Languages and Automata I (IB005, in Czech)
	Formal Verification Methods (IA159, in English)
Autumn 2007	Automata and Grammars (IB102, in Czech)

Academic year 2006 - 2007
Faculty of Informatics
Spring 2007	Computational Logic (IA008, in English)
	Formal Languages and Automata I (IB005, in Czech)
Autumn 2006	Automata and Grammars (IB102, in Czech)
	Computability and Complexity (IB107, in Czech)

Academic year 2004 - 2005
Faculty of Informatics
Autumn 2004	Computability and Complexity (IB107, in Czech)

Academic year 2003 - 2004
Faculty of Informatics
Autumn 2003	Computability and Complexity (IB107, in Czech)

Academic year 2002 - 2003
Faculty of Informatics
Spring 2003	Computability (I007, in Czech)
	Computability (I507, in Czech)

Academic year 2001 - 2002
Faculty of Informatics
Spring 2002	Computability (I007, in Czech)

Academic year 2000 - 2001
Faculty of Informatics
Spring 2001	Computability (I007, in Czech)
	Computability (I507, in Czech)