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-10:45
Pátek 12:30-13:00
(pouze v sudé týdny)
| 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í a kvalifikace
- 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.