Šimoňák Slavomír
Name:
doc. Ing. Slavomír Šimoňák PhD.
Phone number:
+421 55 6023021
Building:
Letná 9
Miestnosť - nové označenie (new numbering):
B513
Room:
B529
Consultation hours:
Štvrtok, 09.30-10.30
Research focus:
Formal methods for design and analysis of discrete systems
Formal methods transformation and integration
Verification of communication protocols
Visualization of algorithms and data structures
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