Department of Applied Informatics - Comenius University in Bratislava

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

www.agentspace.org

👀 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 🦾

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

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

✨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

🤗 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/

✨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

🎉 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!👏

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

The Use of AI in Modern Software Development | Peter Lacko (KAI FMFI UK) Enjoy the videos and music you love, upload original content, and share it all with friends, family, and the world on YouTube.

📣 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 👇

✨Another week we are starting with the doctoral colloquium✨

Sabeer Saeed with the topic Application of AI in Software Engineering: Advanced Methods in the Development of Large-Scale System Software

Abstract: This doctoral research lies at the intersection of empirical software engineering, requirements engineering, software traceability, Artificial Intelligence for Software Engineering (AI4SE), and software design. The primary objective is to develop advanced methods that bridge industrial needs and academic theory to streamline the development of large-scale system software. On the industrial front, this research focuses on Cindy, a comprehensive toolkit suite developed by Markuz at Gratex, which analyzes entire software repositories by mapping not only source code but also surrounding environmental artifacts. To optimize this suite, we are establishing a robust, normalized taxonomy classification for Cindy’s internal detectors. This framework enhances data standardization, reduces metadata redundancy, and ensures the strict reproducibility of software analysis reports and diagnostics. On the academic front, we address the inherent limitations of rigid, rule-based Abstract Syntax Trees (ASTs) in architectural modeling by leveraging Large Language Models (LLMs) and Agentic AI. This approach automates the generation and intelligent verification of critical system representations, including UML, Use Case, Activity, Flow Chart, and generic System Model diagrams compiled through code-based rendering engines like PlantUML and Mermaid. Furthermore, we are exploring the comparison of UML models and ArchiMate, as well as applying Agentic AI pipelines to generate complex ArchiMate enterprise architectures, mirroring advanced human reasoning to improve validation and verification strategies. Ultimately, this work lowers the barrier to understanding complex software design. It provides a scalable framework to ease the development of enterprise systems while creating accessible instructional pathways to teach fundamental programming logic and software design concepts to early educators and young learners.

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