| 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: |
By agreement |
| 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:
