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

Konzultant 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
Henrich Lauko téma: Abstrakce ve verifikaci programů s dynamickou pamětí
Petr Ročkai absolvent 2015, téma: Model Checking Software
Vladimír Štill téma: Formal Verification of C/C++ Programs

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

Další info