• 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

   

Assoc. Prof. RNDr. Jiří Barnat, Ph.D.

 

Academic year 2012 - 2013
Faculty of Informatics
Spring 2013	Design and Implementation of Parallel Systems (IB109, in Czech)
	Formal Languages and Automata (IB005, in Czech)
	Laboratory for Parallel and Distributed Systems (IV074, in Czech)
	Parallel and Distributed Laboratory Seminar (IV115, in Czech)
	Seminar on verification (IV101, in Czech)
Autumn 2012	Introduction to Validation and Verification (IV113, in Czech)
	Laboratory of Parallel and Distributed Systems (IV074, in Czech)
	Parallel and Distributed Laboratory Seminar (IV115, in Czech)
	Project on programming parallel applications (IV112, in Czech)
	Selected topics on automata theory (IA006, in Czech)

Academic year 2011 - 2012
Faculty of Informatics
Spring 2012	Continuous and Hybrid Systems (IV120, in Czech)
	Design and Implementation of Parallel Systems (IB109, in Czech)
	Formal Languages and Automata I (IB005, in Czech)
	Introduction to Functional Programming (IB015, in Czech)
	Laboratory for Parallel and Distributed Systems (IV074, in Czech)
	Parallel and Distributed Laboratory Seminar (IV115, in Czech)
	Seminar on verification (IV101, in Czech)
Autumn 2011	GPU Programming (PV197, in English)
	Introduction to Validation and Verification (IV113, in Czech)
	Laboratory of Parallel and Distributed Systems (IV074, in Czech)
	Parallel and Distributed Laboratory Seminar (IV115, in Czech)
	Project on programming parallel applications (IV112, in Czech)
	Selected topics on automata theory (IA006, in Czech)

Academic year 2010 - 2011
Faculty of Informatics
Spring 2011	Design and Implementation of Parallel Systems (IB109, in Czech)
	Formal Languages and Automata I (IB005, in Czech)
	Introduction to Functional Programming (IB015, in Czech)
	Laboratory for Parallel and Distributed Systems (IV074, in Czech)
	Parallel and Distributed Laboratory Seminar (IV115, in Czech)
Autumn 2010	Introduction to Functional Programming (IB015, in Czech)
	Introduction to Validation and Verification (IV113, in Czech)
	Laboratory of Parallel and Distributed Systems (IV074, in Czech)
	Parallel and Distributed Laboratory Seminar (IV115, in Czech)
	Project on programming parallel applications (IV112, in Czech)
	Selected topics on automata theory (IA006, in Czech)

Academic year 2009 - 2010
Faculty of Informatics
Spring 2010	Design and Implementation of Parallel Systems (IB109, in Czech)
	Formal Languages and Automata I (IB005, in Czech)
	Introduction to Functional Programming (IB015, in Czech)
	Laboratory for Parallel and Distributed Systems (IV074, in Czech)
	Parallel and Distributed Laboratory Seminar (IV115, in Czech)
	Seminar on verification (IV101, in Czech)
Autumn 2009	Introduction to Functional Programming (IB015, in Czech)
	Introduction to Validation and Verification (IV113, in Czech)
	Laboratory of Parallel and Distributed Systems (IV074, in Czech)
	Parallel and Distributed Laboratory Seminar (IV115, in Czech)
	Project on programming parallel applications (IV112, in Czech)
	Selected topics on automata theory (IA006, in Czech)

Academic year 2008 - 2009
Faculty of Informatics
Spring 2009	Design and Implementation of Parallel Systems (IB109, in Czech)
	Formal Languages and Automata I (IB005, in Czech)
	Introduction to Functional Programming (IB015, in Czech)
	Parallel and Distributed Laboratory Seminar (IV115, in Czech)
	Seminar on verification (IV101, in Czech)
Autumn 2008	Introduction to Functional Programming (IB015, in Czech)
	Introduction to Validation and Verification (IV113, in Czech)
	Parallel and Distributed Laboratory Seminar (IV115, in Czech)
	Project on programming parallel applications (IV112, in Czech)
	Selected topics on automata theory (IA006, in Czech)

Academic year 2007 - 2008
Faculty of Informatics
Spring 2008	Design and Implementation of Parallel Systems (IB109, in Czech)
	Formal Languages and Automata I (IB005, in Czech)
	Introduction to Functional Programming (IB015, in Czech)
	Parallel and Distributed Laboratory Seminar (IV115, in Czech)
	Seminar on verification (IV101, in Czech)
Autumn 2007	Introduction to Functional Programming (IB015, in Czech)
	Introduction to Validation and Verification (IV113, in Czech)
	Parallel and Distributed Laboratory Seminar (IV115, in Czech)
	Project on Distributed Systems (IV112, in Czech)
	Selected topics on automata theory (IA006, in Czech)

Academic year 2006 - 2007
Faculty of Informatics
Spring 2007	Design and Implementation of Parallel Systems (IB109, in Czech)
	Formal Languages and Automata I (IB005, in Czech)
	Seminar on verification (IV101, in Czech)
	State Exam (Bc degree in Informatics) (SZBAP, in Czech)
	State Exam (Bc degree in Informatics) (SZBIN, in Czech)
	State Exam (Bc degree in Informatics) (SZBIO, in Czech)
Autumn 2006	Project on Distributed Systems (IV112, in Czech)
	Selected topics on automata theory (IA006, in Czech)
	State Exam (Bc degree in Informatics) (SZBIN, in Czech)

Academic year 2005 - 2006
Faculty of Informatics
Spring 2006	Formal Languages and Automata I (IB005, in Czech)
Autumn 2005	Automata and Grammars (IB102, in Czech)
	Selected topics on automata theory (IA006, in Czech)
	Seminar on verification (IV101, in Czech)

Academic year 2004 - 2005
Faculty of Informatics
Spring 2005	Formal Languages and Automata I (IB005, in Czech)
Autumn 2004	Automata and Grammars (IB102, in Czech)
	Selected topics on automata theory (IA006, in Czech)
	Seminar on verification (IV101, in Czech)

Academic year 2003 - 2004
Faculty of Informatics
Spring 2004	Formal Languages and Automata I (IB005, in Czech)
Autumn 2003	Automata and Grammars (IB102, in Czech)
	Selected topics on automata theory (IA006, in Czech)

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

Academic year 2001 - 2002
Faculty of Informatics
Spring 2002	Formal Languages and Automata I (I005, in Czech)
	Formal Languages and Automata I (I505, in Czech)
Autumn 2001	Formal Languages and Automata II (I006, in Czech)

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