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

E-mailWebTelefonPracovna 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í

Předchozí zaměstnání