RNDr. Tomáš Babiak, Ph.D.
grad. 2007, 2010, 2012, 2017, učo 143254
mail
muniStudies
| Informatics (4-years), Faculty of Informatics | ||
|---|---|---|
| Programme | FI D-IN4 Informatics (4-years), doctoral degree programme | |
| Supervisor | prof. RNDr. Mojmír Křetínský, CSc. | |
| Consultant | prof. RNDr. Jan Strejček, Ph.D. | |
| Status | state examination passed and studies completed, degree conferred: Ph.D., in 2017 | |
| Thesis/Dissertation | Translation of Linear Temporal Logic to Omega-Automata | |
| Field of Study | FI IN Informatics | |
| Informatics, Faculty of Informatics | ||
|---|---|---|
| Programme | FI Rig-IN Informatics, Advanced Master's state examination | |
| Status | state examination passed and studies completed, degree conferred: RNDr., in 2012 | |
| Thesis/Dissertation | Translation of LTL to omega-automata | |
| Field of Study | FI PDS Parallel and Distributed Systems | |
| Informatics, Faculty of Informatics | ||
|---|---|---|
| Programme | FI N-IN Informatics, Master's degree programme | |
| Status | state examination passed and studies completed, degree conferred: Mgr., in 2010 | |
| Thesis/Dissertation | Almost linear Bűchi automata | |
| Field of Study | FI PDS Parallel and Distributed Systems | |
| Applied Informatics, Faculty of Informatics | ||
|---|---|---|
| Programme | FI B-AP Applied Informatics, Bachelor's degree programme | |
| Status | state examination passed and studies completed, degree conferred: Bc., in 2007 | |
| Thesis/Dissertation | Computation of characteristic patterns for LTL | |
| Field of Study | FI BcAP Applied Informatics | |
The Personal Page is being displayed with the following user's consent: Tomáš Babiak, 8/12/2014