Mgr. Ondřej Vaverka PhD student

Oblasti zájmu

  • matematická logika – neklasické logiky, automatické dokazování
  • databázové systémy – teoretické základy, dotazovací jazyky
  • funkcionální programování – Lisp


Konzultační hodiny
Čtvrtek 13:15 – 14:45

Mgr. Ondřej Vaverka
E-mailWebTelefonPracovna Výuka publikace
ondrej.vaverka@upol.cz http://ondrejvaverka.com/ 585 634 715 5.076 stránka s výukou seznam publikací

Odborný životopis

Vzdělání