News

Last week, our researchers involved in the VASSAL project (funded by the EU Twinning program) had the opportunity to visit TU Graz and organize an introductory workshop with a dedicated forum as part of the Runtime Verification 2025 conference. The forum brought together researchers from the project and the wider runtime verification community. The workshop program included invited talks by leading experts, presentations by researchers from FIT, and selected contributions from the runtime verification community. Filip Macák, Milan Češka, David Chocholatý, and Tomáš Dacík presented their contributions on behalf of BUT; Roderik Valko introduced the VASSAL project.

Dr. Dejan Nicković (Austrian Institute of Technology) was invited to the workshop program. He is a leading expert in the field of runtime verification and cyber-physical systems, and his research focuses on time property monitoring, contract-based design, and real-time systems. Another guest was Wolfgang Ahrendt, professor at Chalmers University of Technology in Gothenburg. His scientific contribution lies in deductive software verification, runtime verification, and combinations of static verification with runtime verification and testing.

Participation in the workshop itself demonstrates the scientific excellence of our colleagues, and the event also promoted a valuable exchange of experiences with the international community. The main organizer of the workshop, Milan Češka, gave a positive assessment of the event: "The atmosphere of the workshop was relaxed and friendly, but at the same time professionally at the highest level. As part of the VASSAL project, we are very pleased to have been able to be part of RV Graz 2025 and organize our own forum. During the workshop, we had the opportunity to hear inspiring contributions from our doctoral students and colleagues from TU Wien and CEA. I most appreciate that the program was designed to create space for open discussion and the search for new opportunities for collaboration." Discussions during the forum highlighted the importance of linking theoretical progress with practical challenges in the field of verification. For the VASSAL project itself, the event was a milestone in strengthening ties between institutions and demonstrated the project's role in shaping the future of reliable and verifiable systems.

The BoosterChallenge summer student project competition was held for the sixth time this year. The event originated at FIT BUT, but gradually gained the support of other BUT faculties and is now being held for the second year under the auspices of VUT contriBUTe.

In the first half of September, 13 successful projects were announced, and their authors received financial rewards. FIT students were very successful in the competition again this year: four teams were composed exclusively of students from our faculty. Projects with a significant or exclusive FIT contribution included:

• cyrcID is a software platform designed to support the implementation of a digital product passport that provides information about the manufacturing process, materials used, and environmental impact. Our faculty was represented in the team by Tobiáš Frajka and Adam Pastierik.
• Dominik Honza created a fully functional application called RUFFE – Revíry, which is built on a modern technological structure, is sustainable in the long term, and is actively used by the fishing community.
• Adriana Buchmei's Poseify project has moved into the functional application phase with an implemented machine learning model for recognizing yoga poses.
• The SOFOS project addresses minor but, in practice, fundamental problems associated with service in catering establishments. Students Jan Lindovský and Marcel Mravec have created a detailed, technically well-thought-out functional prototype.
• Alex Marinica's VitalMap project is unique in terms of the scope of work that one student has accomplished over the summer. What's more, it operates in the difficult field of biomedical engineering. The goal is ambitious: to create a mobile application for diagnosing mild concussions using pupil response (changes in the size of the pupil).

We congratulate all the winners and thank them for the energy they put into their projects.

Another research project by experts from our faculty is gaining important integration into medical practice. Researchers from the STRaDe group, including faculty students involved in the group, are working in collaboration with experts from the Clinic of Pulmonary Diseases and Tuberculosis at the Brno University Hospital to develop new methods for diagnosing and monitoring respiratory and lung diseases. The joint research is being conducted under a memorandum of cooperation signed at the beginning of this year.

The team's goal is to create detailed models of selected sections of the respiratory tract and, at the same time, to explore the possibilities for their most effective measurement. Thanks to the combination of these approaches, doctors will have tools at their disposal that will allow them to monitor much more accurately how the respiratory tract changes over time – whether as a result of natural development or in connection with a specific disease. Such findings are crucial, for example, when deciding on a course of treatment or evaluating the effectiveness of the therapy used. Head of the Department of Pulmonary Diseases and Tuberculosis Prof. Milan Sova says of the practical applicability of the research: "In clinical practice, we often encounter situations where, for example, we need to calculate the diameters of the trachea and bronchi in real time during an endoscopic examination. Currently, there are no available solutions, but thanks to our collaboration with FIT VUT, we are able to explore new avenues and develop methods that will help our patients in the future. Our goal is to be at the forefront of research in this area, and collaboration with VUT is the way to achieve this." When asked about specific diagnoses in which the new methods can be used, Prof. Sova lists airway stenosis of both malignant and benign etiology.

To achieve these results, scientists use a wide range of modern technologies. In addition to proven computer vision techniques, they also rely on the latest machine learning and artificial intelligence methods, which enable the automation of image data analysis. They also draw inspiration from areas outside medicine, such as the automotive industry, where similar algorithms have proven themselves in real-time image analysis under demanding conditions. "Every day, new possibilities emerge in the field of artificial intelligence and image processing, but their implementation in practice is gradual. Our goal is to transfer these technologies into the real world as quickly as possible and find specific applications for them in healthcare. We believe that modern IT methods can bring enormous benefits in the diagnosis and treatment of patients, which is why we are working closely with the Department of Pulmonary Diseases and Tuberculosis," says Tomáš Goldmann, principal investigator at FIT VUT, summarizing the motivation behind the project.

The practical benefits of the collaboration are evident. "If everything goes according to plan, this will be a solution that will significantly simplify endoscopic examinations in patients with airway stenosis, tracheal dyskinesia, and similar conditions. This will be followed by standard therapy, which, however, can be tailored to each patient," summarizes the desired goal of Professor Milan Sova from the Department of Pulmonary Diseases and Tuberculosis.