| Jméno | Název práce | Datum obhajoby | Místo obhajoby |
|---|---|---|---|
| doc. Ing. Petr Fišer, Ph.D. | Randomized Interative Logic Synthesis Algorithms | 15.5.2013 | VUT v Brně |
| doc. Dipl.-Ing. Dr. techn. Stefan Ratschan | Foundations of the Automatic Analysis of Cyber-Physical Systems | 25.6.2015 | FIT ČVUT v Praze |
| doc. Ing. Jan Schmidt, Ph.D. | Performance Problems in Logic Synthesis | 14.12.2015 | FIT ČVUT v Praze |
Osoba zodpovědná za obsah této stránky:
Lenka Fryčová, lenka.frycova@fit.cvut.cz
