• 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. Luboš Brim, CSc.

 

Academic year 2012 - 2013
Faculty of Informatics
Spring 2013	Advances in Concurrency (DPOSO, in Czech)
	Communication and Parallelism (IV010, in Czech)
	Computability (IA046, in Czech)
	Formal Methods in Theory and Practice (DFOME, in Czech)
	Introduction to Systems Biology (PA052, in Czech)
Autumn 2012	Advances in Concurrency (DPOSO, in Czech)
	Computability and Complexity (IB107, in Czech)
	Formal Methods in Theory and Practice (DFOME, in Czech)
	Modal and Temporal Logics for Processes (IA040, in Czech)

Academic year 2011 - 2012
Faculty of Informatics
Spring 2012	Advances in Concurrency (DPOSO, in Czech)
	Communication and Parallelism (IV010, in Czech)
	Computability (IA046, in Czech)
	Formal Methods in Theory and Practice (DFOME, in Czech)
Autumn 2011	Advances in Concurrency (DPOSO, in Czech)
	Computability and Complexity (IB107, in Czech)
	Formal Methods in Theory and Practice (DFOME, in Czech)
	Introduction to Systems Biology (PA052, in Czech)
	Modal and Temporal Logics for Processes (IA040, in Czech)

Academic year 2010 - 2011
Faculty of Informatics
Spring 2011	Advances in Concurrency (DPOSO, in Czech)
	Communication and Parallelism (IV010, in Czech)
	Foreign Practice (SPRAC, in English)
	Foreign Studies (SMOBI, in English)
	Formal Methods in Theory and Practice (DFOME, in Czech)
Autumn 2010	Advances in Concurrency (DPOSO, in Czech)
	Computability and Complexity (IB107, in Czech)
	Foreign Practice (SPRAC, in English)
	Foreign Studies (SMOBI, in English)
	Formal Methods in Theory and Practice (DFOME, in Czech)
	Introduction to Systems Biology (PA052, in Czech)
	Modal and Temporal Logics for Processes (IA040, in Czech)

Academic year 2009 - 2010
Faculty of Informatics
Spring 2010	Advances in Concurrency (DPOSO, in Czech)
	Communication and Parallelism (IV010, in Czech)
	Computability (IA046, in Czech)
	Foreign Practice (SPRAC, in English)
	Foreign Studies (SMOBI, in English)
Autumn 2009	Advances in Concurrency (DPOSO, in Czech)
	Computability and Complexity (IB107, in Czech)
	Foreign Practice (SPRAC, in English)
	Foreign Studies (SMOBI, in English)
	Modal and Temporal Logics for Processes (IA040, in Czech)

Academic year 2008 - 2009
Faculty of Informatics
Spring 2009	Advances in Concurrency (DPOSO, in Czech)
	Communication and Parallelism (IV010, in Czech)
	Foreign Practice (SPRAC, in English)
	Foreign Studies (SMOBI, in English)
	Laboratory for Parallel and Distributed Systems (IV074, in Czech)
Autumn 2008	Advances in Concurrency (DPOSO, in Czech)
	Computability and Complexity (IB107, in Czech)
	Foreign Practice (SPRAC, in English)
	Foreign Studies (SMOBI, in English)
	Laboratory of Parallel and Distributed Systems (IV074, in Czech)
	Modal and Temporal Logics for Processes (IA040, in Czech)

Academic year 2007 - 2008
Faculty of Informatics
Spring 2008	Advances in Concurrency (DPOSO, in Czech)
	Communication and Parallelism (IV010, in Czech)
	Computability (IA046, in Czech)
	Foreign Practise (SPRAC, in English)
	Foreign Studies (SMOBI, in English)
	Laboratory for Parallel and Distributed Systems (IV074, in Czech)
Autumn 2007	Advances in Concurrency (DPOSO, in Czech)
	Computability and Complexity (IB107, in Czech)
	Design and verification of algorithms (IV022, in Czech)
	Foreign Practise (SPRAC, in English)
	Foreign Studies (SMOBI, in English)
	Laboratory of Parallel and Distributed Systems (IV074, in Czech)
	Modal and Temporal Logics for Processes (IA040, in Czech)

Academic year 2006 - 2007
Faculty of Informatics
Spring 2007	Communication and Parallelism (IV010, in Czech)
	Laboratory for Parallel and Distributed Systems (IV074, in Czech)
Autumn 2006	Computability and Complexity (IB107, in Czech)
	GEB - limits of formal systems (IA073, in Czech)
	Laboratory of Parallel and Distributed Systems (IV074, in Czech)
	Modal and Temporal Logics for Processes (IA040, in Czech)

Academic year 2005 - 2006
Faculty of Informatics
Spring 2006	Communication and Parallelism (IV010, in Czech)
	Computability (IA046, in Czech)
	Laboratory for Parallel and Distributed Systems (IV074, in Czech)
Autumn 2005	Computability and Complexity (IB107, in Czech)
	GEB - limits of formal systems (IA073, in Czech)
	Laboratory of Parallel and Distributed Systems (IV074, in Czech)
	Modal and Temporal Logics for Processes (IA040, in Czech)
	State Exam (Bc degree in Informatics) (SZBIN, in Czech)

Academic year 2004 - 2005
Faculty of Informatics
Spring 2005	Communication and Parallelism (IV010, in Czech)
	Computability (IA046, in Czech)
	Laboratory for Parallel and Distributed Systems (IV074, in Czech)
	Seminar on verification (IV101, in Czech)
Autumn 2004	Computability and Complexity (IB107, in Czech)
	Laboratory of Parallel and Distributed Systems (IV074, in Czech)
	Modal and Temporal Logics for Processes (IA040, in Czech)
	Seminar on verification (IV101, in Czech)

Academic year 2003 - 2004
Faculty of Informatics
Spring 2004	Communication and Parallelism (IV010, in Czech)
	Computability (IA046, in Czech)
	Laboratory for Parallel and Distributed Systems (IV074, in Czech)
	Seminar on verification (IV101, in Czech)
Autumn 2003	Computability and Complexity (IB107, in Czech)
	Design and verification of algorithms (IV022, in Czech)
	GEB - limits of formal systems (IA073, in Czech)
	Laboratory of Parallel and Distributed Systems (IV074, in Czech)
	Modal and Temporal Logics for Processes (IA040, in Czech)
	Seminar on verification (IV101, in Czech)

Academic year 2002 - 2003
Faculty of Informatics
Spring 2003	Communication and Parallelism (IV010, in Czech)
	Computability (I007, in Czech)
	Computability (I507, in Czech)
	Laboratory for Parallel and Distributed Systems (IV074, in Czech)
Autumn 2002	Communication and Parallelism (IV010, in Czech)
	Computability (IA046, in Czech)
	Design and verification of algorithms (IV022, in Czech)
	Laboratory of Parallel and Distributed Systems (IV074, in Czech)
	Modal and Temporal Logics for Processes (IA040, in Czech)

Academic year 2001 - 2002
Faculty of Informatics
Spring 2002	Computability (I007, in Czech)
	Computability (I507, in Czech)
	Laboratory for Parallel and Distributed Systems (I074, in Czech)
	Modal and Temporal Logics for Processes (I040, in Czech)
Autumn 2001	Communication and Parallelism (I010, in Czech)
	Design and verification of algorithms (I022, in Czech)
	GEB - limits of formal systems (I073, in Czech)
	Laboratory of Parallel and Distributed Systems (I074, in Czech)

Academic year 2000 - 2001
Faculty of Science
Spring 2001	Computability (M8890, in Czech)
Faculty of Informatics
Spring 2001	Computability (I007, in Czech)
	Computability (I507, in Czech)
	Laboratory for Parallel and Distributed Systems (I074, in Czech)
	Modal and Temporal Logics for Processes (I040, in Czech)
Autumn 2000	Communication and Parallelism (I010, in Czech)
	Design and verification of algorithms (I022, in Czech)
	Laboratory of Parallel and Distributed Systems (I074, in Czech)

Academic year 1999 - 2000
Faculty of Science
Spring 2000	Computability (M8890, in Czech)
Faculty of Informatics
Spring 2000	Computability (I007, in Czech)
	Computability (I507, in Czech)
	Computability II (I046, in Czech)
	Laboratory for Parallel and Distributed Systems (I074, in Czech)
	Modal and Temporal Logics for Processes (I040, in Czech)
Autumn 1999	Communication and Parallelism (I010, in Czech)
	Design and verification of algorithms (I022, in Czech)
	GEB - limits of formal systems (I073, in Czech)
	Laboratory of Parallel and Distributed Systems (I074, in Czech)

Academic year 1998 - 1999
Faculty of Informatics
Spring 1999	Computability (I007, in Czech)
	Computability II (I046, in Czech)
	Modal and Temporal Logics for Processes (I040, in Czech)
Autumn 1998	Communication and Parallelism (I010, in Czech)
	Informatics Colloquium (I067, in Czech)
	Programming and Logic (I022, in Czech)

Academic year 1997 - 1998
Faculty of Informatics
Spring 1998	Computability (I007, in Czech)
	Computability II (I046, in Czech)
	Modal and Temporal Logics for Processes (I040, in Czech)
Autumn 1997	Communication and Parallelism (I010, in Czech)
	Programming and Logic (I022, in Czech)

Academic year 1996 - 1997
Faculty of Informatics
Spring 1997	Computability (I007, in Czech)
	Modal and Temporal Logics for Processes (I040, in Czech)
Autumn 1996	Communication and Parallelism (I010, in Czech)
	Programming and Logic (I022, in Czech)

Academic year 1995 - 1996
Faculty of Informatics
Spring 1996	Computability (I007, in Czech)
	Modal and Temporal Logics for Processes (I040, in Czech)
Autumn 1995	Communication and Parallelism (I010, in Czech)
	Programování a logika (I022, in Czech)