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 2025

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 2025

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.
APVV APVV-23-0408
1. July 2024 to 30. June 2028
In order to make it more approachable by practitioners, there is a need to bring the global architectural knowledge to the local level of software development companies and even individual teams and let it evolve there with respect to the context in which it's being applied. For example, design patterns would be possibly rephrased and adapted, particular pattern sequences would be created and supported by the success stories of that particular community (so-called pattern stories), and so on. Architectural knowledge needs to be evolved further with respect to the fact that contemporary software systems operate in the edge-to-cloud continuum. The edge-to-cloud continuum introduces new possibilities for variation that depend on how the system is deployed on edge, mist, fog, and cloud levels. Another challenge is how to effectively organize people in such environment. Parts of this, locally evolved knowledge would then find their way to the global level in scientific papers, books, or even blogs and such. In this project, we will develop methods of evolving local variants of design patterns and pattern languages, design pattern application in the edge-to-cloud continuum, applying software product lines in the edge-to-cloud continuum, and organizational pattern application in software development in the edge-to-cloud continuum. To support and evaluate the methods, we will develop the corresponding tools. We also expect to mine and express currently unknown design and organizational patterns and pattern languages for the edge-to-cloud continuum. We will develop four evaluation scenarios: patient health status telemonitoring, automotive software compliance, education content engineering, and open space development.
Project Coordinator of KPI:
prof. Ing. Jaroslav Porubän PhD.
KEGA 052TUKE-4/2025
1. January 2025 to 31. December 2027

V tomto projekte sa zameriame na aktualizáciu obsahu a zavedenie moderných prístupov do výučby predmetu Teória typov. Naším hlavným cieľom je zatraktívnenie klasického procesu výučby predmetu, zavedením nových edukačných nástrojov a metód pomocou moderných softvérových riešení. V rámci tohto cieľa vyvinieme softvér, ktorý bude interaktívne, resp. automatizovane emulovať procesy výpočtov prostredníctvom vizualizačných nástrojov simulujúcich klasický postup výpočtu človekom. Zároveň do výučbového procesu zahrnieme využitie interaktívnych dokazovacích systémov, pomocou ktorých je možné modelovať jednotlivé teórie typov, a dokazovať ich vlastnosti prostredníctvom formálnych dôkazov. V rámci čiastkových cieľov sa zameriame na tvorbu webového portálu, aktualizáciu a rozšírenie existujúcich študijných materiálov (učebnica a prednášky). Vypracujeme novú učebnicu venovanú využitiu interaktívnych dokazovacích systémov pre účely preberaných teórií typov. Pripravíme zbierku riešených príkladov a pracovné listy pre laboratórne cvičenia.

Principal Investigator:
Ing. Ján Perháč PhD.
APVV APVV-23-0196
1. September 2025 to 30. June 2028

Cieľom projektu EvPres je vyvinúť metodiku monitorovania stavu mostov, ktorá umožní presnú kvantifikáciu predpätých síl v predpätých betónových konštrukciách. Výsledky tohto projektu významne prispejú k hodnoteniu technického stavu mostov po celej Európe, čo pomôže predchádzať ich náhlemu zlyhaniu alebo predčasnému uzavretiu. EvPres tak predstavuje kľúčový krok k zvýšeniu bezpečnosti a efektívnemu využívaniu predpätých betónových mostov naprieč Európou.

V rámci súčasného stavu poznania v oblasti kvantifikácie predpínacích síl v predpätých betónových mostoch boli identifikované tri hlavné výskumné medzery (RG):
  • RG1: Nedostatok pokročilých numerických modelov/digitálnych dvojčiat predpätých betónových nosníkov a predpätých betónových mostov.
  • RG2: Nedostatočne rozvinuté metodológie pre SHM na kvantifikáciu predpínacích síl v predpätých betónových mostoch.
  • RG3: Absencia jednotnej metodológie na určenie predpínacích síl v predpätých betónových mostoch.
Participant:
Ing. Ján Perháč PhD.

Educational projects

KEGA 030TUKE-4/2023
1. January 2023 to 31. December 2025
We present a project in which we will focus on redesign and expanding the existing course focused on formal languages and compilers. Our primary goal is to expand the content of the course to take into account the current knowledge in the field of processing, generation and translation of computer languages. The partial goals are focused on the creating of teaching materials, a web portal and supporting software for the emulation and visualization of selected algorithms and procedures in the field of formal languages. It is assumed that this will make it easier and faster for students to understand theoretical and practical principles and increase interest not only in the course, but also in broader foundations and principles. The expected benefit is then better availability of teaching content for students. It is also expected to increase the ability to properly and practically use the acquired knowledge and skills and to become one of the leading IT specialists.

Principal Investigator:
doc. Ing. William Steingartner PhD.