Ondřej Vaverka

Mgr. Ondřej Vaverka


Funkce:PhD student
Adresa:Katedra informatiky
Přírodovědecká fakulta
Univerzita Palackého v Olomouci
17. listopadu 12
771 46 Olomouc
Pracovna:5.076
Telefon:585 634 715
Fax:585 634 716 (Katedra)
E-mail:ondrej.vaverka@upol.cz
Publikace Osobní stránky Výuka Rozvrh ZS

Oblasti zájmu

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

Odborný životopis

Vzdělání

  • Bc. (2012), Informatika, Univerzita Palackého v Olomouci
  • Mgr. (2014), Informatika, Univerzita Palackého v Olomouci

  Mgr. Ondřej Vaverka

Konzultační hodiny

Čtvrtek 13:15 – 14:45