Luboš Brim

Professor, Dept. of Computer Science
Head of Systems Biology Laboratory
Member of ParaDiSe Labs

Research interests:
automated formal verification, modal and temporal logics, time-critical systems, verification tools, parallel and distributed verification techniques.

Bibliographical Summary

Selected Publications

Parallel and Distributed Verification

Dagstuhl seminar: Graph Search Engineering, November 30 to December 5, 2009 (organizer, with Stefan Edelkamp, Eric Hansen and Peter Sanders)

Dagstuhl seminar: Distributed Verification and Grid Computing, August 10 to 14, 2008 (organizer, with Henri Bal and Martin Leucker)

PDMC.CZ (Czech Portal for Parallel Verification)

PDMC workshops

DiVinE - The Distributed Verification Environment

International Research Activities

EC-MOAN - Scalable Modeling and Analysis Techniques to Study Emergent Cell Behavior

ERCIM Working Group on Formal Methods for Industrial Critical Systems (FMICS)

ARTIST2 - Network of Excellence on Embedded Systems Design

Projects

• Yahoda - The database of verification tools

Current Courses (pages in Czech)

• IV010 Communication and Parallelism

• IA046 Computability

• IV074 Parallel and Distributed Systems Laboratory

• IA040 Modal and Temporal Logics

• IB107 Computability and Complexity

• IV022 Design and Verification of Algorithms

• IA073 GEB - limits of formal systems