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