prof. RNDr. Luboš Brim, CSc.


Kancelář: A411
Botanická 554/68a
602 00 Brno

Zobrazit na mapě

Školitel

Obor: Informatika

školitel doktorských studentů
Jiří Barnat absolvent 2005, téma: Distributed Memory LTL Model Checking
Milan Češka absolvent 2012, téma: Designing Data-Parallel Graph Algorithms for Model Checking
Jakub Chaloupka absolvent 2011, téma: Algorithms for Mean-Payoff and Energy Games
Pavel Moravec absolvent 2008, téma: Distributed State Space Reductions
Samuel Pastva
David Šafránek absolvent 2006, téma: Visual Coordination Networks
Pavel Šimeček absolvent 2010, téma: External Memory LTL Model Checking
Jitka Žídková absolvent 2004, téma: Using Assumptions to Distribute Model Checking

Obor: Počítačové systémy a technologie

školitel doktorských studentů
Martin Demko
Matej Hajnal téma: Application of Formal Methods to Modelling and Analysis of Signalling Pathways

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.

Další info