prof. RNDr. Luboš Brim, CSc.
Professor, Department of Computer Science
office: A411
Botanická 554/68a
602 00 Brno
phone: | +420 549 49 3647 |
---|---|
e‑mail: |
social and academic networks: |
---|
-
Automated Verification of Parallel and Distributed Systems (GA201/03/0509)
MU Researcher: prof. RNDr. Luboš Brim, CSc. MU Faculty or unit: Faculty of Informatics Project Period: 1/2003 — 12/2005Investor: Czech Science Foundation / Standard Projects -
Algorithms and tools for practical verification of concurrent systems. (GA201/00/1023)
MU Researcher: prof. RNDr. Luboš Brim, CSc. MU Faculty or unit: Faculty of Informatics Project Period: 1/2000 — 1/2002Investor: Czech Science Foundation / Standard Projects -
Algorithmic Verification Boundaries for Infinite-State Systems (GA201/97/0456)
MU Researcher: prof. RNDr. Mojmír Křetínský, CSc. MU Faculty or unit: Faculty of Informatics Project Period: 1/1997 — 12/1999Investor: Czech Science Foundation / Standard Projects -
Computational Logic and Computational Methods (MUNI/33/002/1995)
MU Researcher: prof. RNDr. Luboš Brim, CSc. MU Faculty or unit: Faculty of Informatics Project Period: 1/1995 — 12/1999Investor: The Royal Society / The Royal Society Projects -
Analysis of Concurrent Infinite State Systems (GA201/93/2123)
MU Researcher: prof. RNDr. Mojmír Křetínský, CSc. MU Faculty or unit: Faculty of Informatics Project Period: 1/1993 — 1/1995Investor: Czech Science Foundation / Standard Projects