Name: | doc. Ing. Slavomír Šimoňák PhD. |
Function: |
Associate professor |
Phone number: | +421 55 6023021 |
E-mail: | slavomir.simonak@tuke.sk |
Building: |
Letná 9 |
Room: |
B513 (B529 by the old numbering)
|
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/ |
|
|
Publications registered in
University Library
Projects: