Projects

Mobility projects

CEEPUS CIII-HU-0019-13-1718, CIII-HU-0019-12-1617, CIII-HU-0019-11-1516, CIII-HU-0019-10-1415, CIII-HU-0019-09-1314
1. November 2013 to 31. August 2024

CIII-HU-0019-13-1718, CIII-HU-0019-12-1617, CIII-HU-0019-11-1516, CIII-HU-0019-10-1415, CIII-HU-0019-09-1314 International Cooperation in Computer Science

Project Coordinator of KPI:
doc. Ing. Csaba Szabó PhD.
ERASMUS+ KA1
26. February 2014 to 31. August 2024

Academic contact for:

  1. A KLAGENF01 - Alpen-Adria Universität Klagenfurt,  Rakúsko
  2. A LINZ01 - Johannes Kepler Universität Linz,  Rakúsko
  3. HU BUDAPEST01 - Eötvös Loránd Tudományegyetem, Budapest, Maďarsko
  4. HU SZEGED01 - Szegedi Tudományegyetem,  Maďarsko
  5. P BRAGA01 - Universidade do Minho, Braga, Portugal
  6. RO CLUJNAP01 - Universitatea Babes-Bolyai, Cluj Napoca, Rumunsko
  7. SI MARIBOR01 - Univerza v Mariboru, Slovinsko

 

Project Coordinator of KPI:
doc. Ing. Csaba Szabó PhD.

Scientific projects

COST (European Cooperation in Science and Technology) CA20111
11. October 2021 to 10. October 2025

If testing can reveal errors in computer programs, only formal verification can guarantee their absence. The highest Evaluation Assurance Levels of the Common Criteria for Information Technology Security Evaluation require automatically checked mathematical proofs of correctness. Proofs are also the basis of mathematics and many sciences, and thus are very important in education and research.

In many computer technologies, developers and users rely on standard languages and protocols for exchanging data and enabling tool interoperability: TCP/IP for network communication, HTML for web pages, etc. This is however not the case for formal proofs, which is a major bottleneck for their adoption by the industry. The main reason is that, currently, proof systems use mutually incompatible logical foundations. Fortunately, only small parts of the proofs developed in a system use features that are incompatible with other systems.

Europe is a leading actor in the area of formal proofs: about 65% of the proof systems of the world are developed in Europe, including the two most used proof assistants, Coq and Isabelle.

This Action aims at boosting the interoperability and usability of proof systems and making formal proofs enter a new era. For the first time, it gathers all the developers and users of proof systems in Europe. To make the proofs exchangeable, they will express, in a common logical framework, the logical foundations of their systems and develop tools for inter-translation of the proofs developed in individual systems to and from this common logical framework.

Principal Investigator:
Ing. Ján Perháč PhD.
KEGA 060TUKE-4/2022
25. March 2022 to 31. August 2024
Cieľom projektu je obsahová a metodická inovácia predmetov zameraných na kybernetickú bezpečnosť v oblasti počítačových sietí, ktoré sú vyučované na Katedre počítačov a informatiky, Fakulty elektrotechniky a informatiky, Technickej univerzity v Košiciach. Vzhľadom na zriadenie samostatného študijného odboru Kyberbezpečnosť bolo potrebné vytvoriť nové predmety, ktoré svojim obsahom dokážu vzdelávať v kontexte aktuálnych trendov a podľa požiadaviek praxe. Keďže sa jedná o progresívnu oblasť IT je dôležité ponúknuť kvalitné didaktické podklady po stránke metodickej i metodologickej s využitím bádateľských prístupov a interdisciplinárnym presahom. Tento projekt taktiež reflektuje na pribúdajúce požiadavky zamestnávateľov získať kvalitných absolventov, ktorých je v tejto oblasti na Slovensku vzdelávaných v porovnaní s iným IT špecializáciami minimum. Výsledkom riešenia projektu by mala byť inovácia troch predmetov, ktoré povedú ich absolventov k získaniu priemyselných medzinárodne uznávaných certifikácií. Zároveň bude pozornosť venovaná prispôsobeniu obsahu aj na dištančné vzdelávanie, vzhľadom na skúsenosť z posledného obdobia, ktoré zastihlo mnohých jednotlivcov i inštitúcie nepripravené. Vytvorený obsah bude zároveň voľne zdieľaný pre iné vysoké školy a širokú verejnosť.
Principal Investigator:
doc. Ing. Miroslav Michalko PhD.
Granty EHP a Nórska FBR-PDI-025
15. September 2023 to 14. September 2024

Within this initiative, supported by Iceland, Liechtenstein, and Norway through the EEA Grants and Norwegian Grants, the Technical University of Košice (TUKE) Slovakia, and the University of Oslo (UiO) Norway, are collaborating to enhance and innovate the teaching of courses focused on theoretical computer science, using modern approaches and tools.

One of the main goals is the planned development of an interactive teaching tool through which users can study the fundamental principles of deduction and manipulation with proofs as programs. During in-person and regular online meetings, members of the research team will share their long-term experience in teaching courses related to logic, type theory, and semantics of programming languages.

Among the other objectives of the initiative are cooperation in the development of new teaching materials for both parties, research in the field of proof assistants’ development, with a focus on precise visualization of the proof process emulation and its use in teaching, as well as the possibilities of gamification of the teaching process. The results obtained from the initiative will be implemented in the teaching process, and innovative research findings will be presented at international scientific conferences.

Principal Investigator:
Ing. Ján Perháč PhD.
CHIST-ERA 20-BCI-004
1. January 2022 to 31. December 2024

We propose a user-friendly wearable low-power smart BCI system with an ecologically valid VR environment in which both the patient and therapist collaboratively interact via their person-specific avatar representations. On the one hand, the patient voluntarily, and in a self-paced manner, manages their activity in the environment and interacts with the therapist via a BCI-driven mental imagery process. This process is computed and rendered in real-time on an energy efficient wearable device. On the other hand, the therapist's unlimited motor and communication skills allow him to fully control the environment. Thus, the VR environment may be flexibly modified by the therapist allowing for different occupational therapy scenarios to be created and selected following the patient's recovery needs, mental states, and instantaneous responses.

Project Coordinator of KPI:
doc. Ing. Branislav Sobota PhD.