Bc. Karin Kubinová

1mAIN

kubinova27@uniba.sk

Diplomová práca

Animácia a vizualizácia diagramov v softvérovom inžinierstve

Vedúci projektu:

Ing. Lukáš Radoský

E-mail:

lukas.radosky@fmph.uniba.sk

Bakalárska práca

Vysvetľovanie chýb vo formalizačných cvičeniach v logike prvého rádu

Vedúci projektu:

Mgr. Ján Kľuka, PhD.

E-mail:

jan.kluka@fmph.uniba.sk