Domov /Perháč Ján
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 2021.
- Člen programového výboru medzinárodnej vedeckej konferencie: IV Міжнародна науково-практична конференція «Моделювання, керування та інформаційні технології» - MCIT 2020.
- Recenzent príspevkov doktorandskej konferencie 20th Scientific Conference of Young Researchers - SCYR 2020.
- Recenzent príspevkov medzinárodnej vedeckej konferencie: IEEE 13th International Symposium on Applied Computational Intelligence and Informatics: SACI 2019.
- Člen organizačného výboru a recenzent príspevkov medzinárodnej vedeckej konferencie: IEEE 15th International Conference On Informatics: Informatics’ 2019.
- Člen organizačného výboru medzinárodnej vedeckej konferencie: IEEE 14th International Conference On Informatics: Informatics' 2017.
- Člen organizačného výboru a recenzent príspevkov medzinárodnej vedeckej konferencie: IEEE 13th International Conference On Informatics: Informatics’ 2015.
Členstvo:
- Člen Slovenskej spoločnosti pre aplikovanú kybernetiku a informatiku (SSAKI) na KPI, FEI, TUKE.