Mgr. Jiří Balun, Ph.D. odborný asistent
Oblasti zájmu
- Vyčíslitelnost a složitost
- Verifikace v systémech s diskrétními událostmi
- Common Lisp
Konzultační hodiny
Úterý 9:45-11:00
| Web | Telefon | Pracovna | Výuka | publikace | |
|---|---|---|---|---|---|
| jiri.balun@upol.cz | https://apollo.inf.upol.cz/~balun/ | 585 634 713 | 5.044 | stránka s výukou | seznam publikací |
Odborný životopis
Vzdělání
- Ph.D. (2023), Informatika, Univerzita Palackého v Olomouci
- Mgr. (2019), Informatika, Univerzita Palackého v Olomouci
- Bc. (2016), Aplikovaná Informatika, Univerzita Palackého v Olomouci
Předchozí zaměstnání
- 2018–2019 Programátor, Xorux s.r.o.
- 2015–2016 Softwarový tester, Tesco SW a.s.