Šimoňák Slavomír
Meno:
doc. Ing. Slavomír Šimoňák PhD.
Telefónne číslo:
+421 55 6023021
Budova:
Letná 9
Miestnosť - nové označenie (new numbering):
B513
Miestnosť - staré označenie (old numbering):
B529
Konzultačné hodiny:
Štvrtok, 09.30-10.30
Zameranie výskumu:
Formálne metódy pre návrh a analýzu diskrétnych systémov
Integrácia a transformácia formálnych metód
Verifikácia komunikačných protokolov
Vizualizácia algoritmov a údajových štruktúr
Publons URL (ResearcherID):
https://publons.com/researcher/3320110/slavomir-simonak/
Predbežné témy záverečných prác.
Meno:
Slavomír
Priezvisko:
Šimoňák