| Meno: | doc. Ing. Slavomír Šimoňák PhD. |
| Zaradenie: |
Docent |
| Telefónne číslo: | +421 55 6023021 |
| E-mail: | slavomir.simonak@tuke.sk |
| Budova: |
Letná 9 |
| Miestnosť: |
B513
(B529 podľa starého číslovania)
|
| 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/ |
|
 |
Publikačná činnosť evidovaná v
Univerzitnej Knižnici
Projekty:
