prof. RNDr. Luboš Brim, CSc.

Professor, Department of Computer Science

office: A411
Botanická 554/68a
602 00 Brno

Show on the map

phone:	+420 549 49 3647
e‑mail:

social and academic networks:

Basic information

Courses taught

Autumn 2004 at Faculty of Informatics

Seminar on verification

Spring 2004 at Faculty of Informatics

Autumn 2003 at Faculty of Informatics

Spring 2003 at Faculty of Informatics

Communication and Parallelism
Computability (I007, I507)
Laboratory for Parallel and Distributed Systems

Autumn 2002 at Faculty of Informatics

Spring 2002 at Faculty of Informatics

Computability (I007, I507)
Laboratory for Parallel and Distributed Systems
Modal and Temporal Logics for Processes

Autumn 2001 at Faculty of Informatics

Spring 2001 at Masaryk University

Efektivně řešitelné problémy

Spring 2001 at Faculty of Science

Computability

Spring 2001 at Faculty of Informatics

Computability (I007, I507)
Laboratory for Parallel and Distributed Systems
Modal and Temporal Logics for Processes

Autumn 2000 at Faculty of Informatics

Spring 2000 at Faculty of Science

Computability

Spring 2000 at Faculty of Informatics

Computability (I007, I507)
Computability II
Laboratory for Parallel and Distributed Systems
Modal and Temporal Logics for Processes