|
|
Doc. Ing. Tomáš Vojnar, Ph.D.
Teaching
Lecture courses:- FAV-2009/W, Formal Analysis and Verification, IT-MSC-2E, IT-MSC-2
- IOS-2009/S, Operating Systems, IT-BC-3
- TIN-2009/W, Theoretical Computer Science, IT-MSC-2, IT-MSC-2E
- STI-2009/W, Theoretical Computer Science Seminar, IT-MSC-2
Laboratory exercises:Consulting hours:To be fixed individually via email.
Graduated Ph.D. Students:Current Ph.D. Students:- Dudka Kamil, Ing., research theme:
- Fiedor Jan, Ing., research theme:
- Holík Lukáš, Mgr., research theme:
- Hrubá Vendula, Ing., research theme:
- Konečný Filip, Ing., research theme:
- Letko Zdeněk, Ing., research theme:
- Smrčka Aleš, Ing., research theme:
- Šimáček Jiří, Ing., research theme:
© Faculty of Information Technology, BUT, Božetěchova 2, 612 66 Brno, Czech Republic Tel.: +420 54114 1144, Fax: +420 54114 1270
E-mail: info@fit.vutbr.cz,
Web: http://www.fit.vutbr.cz/
|
|