Department of Applied Informatics - Comenius University in Bratislava

19/08/2026

📣náš kolega Igor Farkaš diskutoval v relácii Pod lampou na tému AI a ako zmení našu budúcnosť
👀 pozrite si viac tu ➡ https://www.tyzden.sk/podlampou/137717/pod-lampou-umela-inteligencia-nas-neznici-naopak-bude-pomocou/

30/06/2026

🤖 pozrite si prednášku nášho Unitree G1 robota z jarnej konferencie ITAPA 2026 👇

23/06/2026

👀 Na jarnej konferencii ITAPA 2026 vystúpil jeden z našich najznámejších bývalých študentov, Michal Vaľko, ktorý pracuje na novej generácii AI systémov, ktoré sa dokážu učiť a rozhodovať s minimálnym ľudským zásahom 🤖

👏 Sme hrdí, že medzi absolventmi máme osobnosti, ktoré posúvajú hranice výskumu a inovácií na medzinárodnej úrovni 🦾

16/06/2026

📣 check out all the presentations and interviews from the latest Innovaite Slovakia conference 👇

Discover key insights from the 2nd InnovAIte Conference in Žilina. Watch presentations, explore research, and learn about AI innovation in Slovakia.

15/06/2026

✨Another week we are starting with the doctoral colloquium✨

Ismaila Jesse Mazadu with the topic Runtime Verification For Detecting Cyber-Physical Attacks

Abstract: Runtime Verification (RV) is a lightweight yet rigorous technique that serves as a practical complement to traditional exhaustive formal verification methods, such as model checking, testing and theorem proving, especially when dealing with complex or large-scale systems. Rather than depending on a detailed, fine-grained model of the system (for instance, a low-level re-implementation down to individual instructions), RV focuses on observing and analyzing the actual ex*****on traces produced by the running system. These traces are then checked against a formal specification that defines the expected (or forbidden) behavior. One key strength of this approach is that RV delivers accurate insights into the system’s real runtime behavior, by-passing the challenges and potential inaccuracies associated with manually creating comprehensive models in a dedicated modeling language. Runtime verification is the basis for concepts dealing with observed faults and cyberattacks on a system. Verification comprises all techniques suitable for showing that a system satisfies its specification. Runtime Verification enables reacting to faults before they become failures at the time of ex*****on. This enables applications of runtime verification techniques that other verification techniques cannot support. Runtime verification can now be seen as the discipline of computer science that deals with the study, development, and application of verification techniques that allow checking whether a run of a system under scrutiny satisfies or violates a given correctness property. The main purpose of this study is to review previous literature on Runtime Verification and to develop a robust Runtime Verification framework that will detect cyber-physical attacks, prevent them, and ensure the safety and liveliness of a system in operation. The study proposes Runtime Verification for UAVs using a Dynamic CEE-TeSSLa-based Framework, to enforce security, safety, and liveliness of the UAVs.

More about all colloquia here 👉https://dai.fmph.uniba.sk/w/Doctoral_Colloquia/en

09/06/2026

🤗 DOD 👇 už zajtra! 🤖

Matfyzácky Deň otvorených dverí tentokrát s našimi najväčšími hviezdami internetu. Už v stredu od 9:00 https://fmph.uniba.sk/dod/

08/06/2026

✨Another week we are starting with the doctoral colloquium✨

Munura Maihankali with the topic From Code Decay to Verified Transformation: A Semantic Correctness Assurance Framework for Agentic AI-Driven Refactoring of Large-Scale Software Systems

Abstract: Software systems operating at scale e.g. enterprise applications, distributed platforms, and long-lived production codebases inevitably accumulate structural decay over time. In large-scale systems where thousands of interacting classes, services, and modules evolve under continuous delivery pressure, code gradually develops decay symptoms such as inflated methods, densely coupled classes, violated architectural boundaries; all of which erode maintainability and long-term evolvability. Refactoring, the discipline of restructuring existing code without altering observable behaviour, is the established first response mechanism by which software recover from structural degradation. This study is targeted at refactoring large-scale software systems hence a robust approach requires reliable metrics which are the only objective mechanism for monitoring code health, diagnosing structural decay, and verifying whether a refactoring has genuinely improved the system. This research employs a five-family metric suite spanning cohesion, coupling, complexity, readability, and architectural health, measured systematically both before and after every refactoring transformation to provide empirically grounded semantic correctness verification. Large Language Models and agentic AI systems now offer refactoring automation at scale yet automation without verification is dangerous. LLMs are probabilistic generators which are prone to hallucination, context-window blindness, and silent semantic violations. This research proposes a multi-layer verification architecture: smell-aware ordering of refactoring operations, the five-family metric suite, Graph-RAG-enhanced contextual awareness (LlamaIndex, ChromaDB, Neo4j), LangGraph orchestration, and a rejection-policy filter which has yielded tentative pilot findings and novel contributions to the refactoring domain.

More about all colloquia here 👉https://dai.fmph.uniba.sk/w/Doctoral_Colloquia/en

04/06/2026

🎉 Veľká gratulácia našim kolegom Zuzana Berger Haladová & Viktor Kocur k ich úspešnej habilitácii! 🎓 Prajeme veľa ďalších pracovných a vedeckých úspechov!👏

03/06/2026

📣 už ste videli prezentáciu nášho kolegu Petra Lacka na tému Use of AI in Modern Software Development z Innovaite Slovakia konferencie? 👇👀

Enjoy the videos and music you love, upload original content, and share it all with friends, family, and the world on YouTube.

02/06/2026

📣 Naši kolegovia sa minulý týždeň zúčastnili 24. ročníka konferencie Kognícia a umelý život 2026 🤖

👉Konferencia vytvára priestor na prezentáciu odborných príspevkov, ich diskusiu v transdisciplinárnom kontexte a nadväzovanie spolupráce s expertmi z rôznych oblastí. Teší nás, že sme mohli byť súčasťou podujatia, ktoré prepája vedu, výskum a inovácie a podporuje výmenu poznatkov naprieč disciplínami 🦾

🤝Ďakujeme organizátorom za príležitosť a všetkým účastníkom za podnetné stretnutia a inšpiratívne diskusie 👇