Perháč Ján
|
 |
Projekty:
Pedagogická činnosť
Prednášky
Cvičenia
- Databázové systémy.
- Logika pre informatikov.
- Používateľské rozhrania a používateľský zážitok.
- Teória typov.
Ukončené výskumné projekty
- Program: Granty EHP a Nórska, FBR-PDI-025.
- Obdobie: 2023–2024.
- Rola: Zodpovedný riešiteľ
- Partner: University of Oslo, Nórsko.
Medzinárodný bilaterálny projekt zameraný na modernizáciu výučby teoretickej informatiky prostredníctvom interaktívnych dokazovacích systémov a inovatívnych vzdelávacích nástrojov. Jedným z hlavných výsledkov spolupráce bol systém OnlineProver.
European Research Network on Formal Proofs (EuroProofNet)
- Program: COST Action CA20111.
- Obdobie: 2021–2025.
- Rola: Zástupca Slovenskej republiky v riadiacom výbore (Management Committee).
Európska výskumná sieť zameraná na rozvoj formálnych dokazovacích systémov, ich interoperabilitu a využitie vo výskume, priemysle a vzdelávaní.
Členstvo vo vedeckých a odborných organizáciách
The Proof Society – člen medzinárodnej vedeckej spoločnosti zameranej na teóriu dôkazov a súvisiace oblasti matematickej logiky.
Association for Logic Programming (ALP) – člen medzinárodnej vedeckej organizácie združujúcej výskumníkov v oblasti logického programovania. Zapojený do iniciatívy Prolog Education Group, zameranej na podporu a rozvoj výučby logického programovania.
Slovenská spoločnosť pre aplikovanú kybernetiku a informatiku (SSAKI) – člen odbornej spoločnosti v oblasti kybernetiky a informatiky.
Organizačná a odborná činnosť
IEEE International Conference on Informatics (Informatics' 2015–2024) – člen organizačného výboru medzinárodnej vedeckej konferencie.
Міжнародна науково-практична конференція «Моделювання, керування та інформаційні технології (International Conference on Modelling, Control and Information Technologies) - MCIT 2020–2021 – člen programového výboru medzinárodnej vedeckej konferencie.
Ocenenia
- Najlepšia prezentácia v sekcii IT – 4. ročník doktorandskej konferencie SCYR 2019.
