prof. RNDr. Jiří Barnat, Ph.D.

Proděkan pro studijní programy, statutární zástupce děkana Fakulty informatiky


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

Zobrazit na mapě

Telefon: 549 49 3507
E-mail:
Školitel

Obor: Informatika

školitel doktorských studentů
Milan Češka absolvent 2012, téma: Designing Data-Parallel Graph Algorithms for Model Checking
Jana Tůmová absolvent 2013, téma: Quantitative Formal Methods for High-level Robot Path Planning

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

školitel doktorských studentů
Petr Bauch absolvent 2016, téma: Automating Software Development with Explicit Model Checking
Petr Ročkai absolvent 2015, téma: Model Checking Software
Vladimír Štill
Jiří Weiser

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

Další info