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.

  Mgr. Jiří Balun
E-mailWebTelefonPracovna 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í

Předchozí zaměstnání