Perháč Ján
|
 |
Projekty:
| Názov projektu | Rola |
|---|---|
| European Research Network on Formal Proofs | Vedúci projektu |
Prednášky z predmetov:
Cvičenia z predmetov:
- Databázové systémy.
- Logika pre informatikov.
- Sémantika programovacích jazykov.
- Teória typov.
Konferencie:
- Člen programového výboru medzinárodnej vedeckej konferencie: IV Міжнародна науково-практична конференція «Моделювання, керування та інформаційні технології» - MCIT 2020-2021.
- Člen organizačného výboru medzinárodnej vedeckej konferencie: IEEE International Conference On Informatics: Informatics’ 2015 - 2022.
Členstvo:
- Člen Slovenskej spoločnosti pre aplikovanú kybernetiku a informatiku (SSAKI) na KPI, FEI, TUKE.
