News

This year's Zdena Rábová Award goes to Sára Jobranová and Ondřej Sedláček

This year, during the matriculation ceremony (September 12), the traditional Zdena Rábová Award was presented, which recognizes outstanding students from our faculty for their active involvement in science and research and for enhancing the prestige of FIT. This year's award goes to Sára Jobranová and Ondřej Sedláček.

Bc. Sára Jobranová has been involved in the simulation and analysis of quantum circuits in the VeriFIT group since her second year of bachelor's studies. She also wrote her bachelor's thesis on this topic, the results of which were published at the prestigious (CORE A) international conference ICCAD'24 in New Jersey, where she also presented them. The MEDUSA quantum circuit simulator she developed for a class of circuits using amplitude amplification significantly outperforms other existing techniques and is the fastest in the world. In 2024, she represented FIT at a summer internship at Academia Sinica in Taiwan.

Ing. Ondřej Sedláček is collaborating with the CESNET association on research and development in the field of cyber security during his studies. In this domain, he first investigated the issue of automatic device type recognition based on network communication, on which he wrote and presented an article at the Excel@FIT faculty conference (awarded by the expert committee) and, in particular, an article at the NOMS2024 international conference. In the last year, he has focused on the topic of anomaly detection in system logs. He wrote an exceptionally high-quality thesis on the topic, which evaluated existing approaches in detail using a newly created (and published) framework.

We congratulate both award winners and thank them for their excellent representation of the Faculty of Information Technology.

More information about their research and achievements, as well as a short statement from Sára and Onřej about the award, can be found here.

[img]

BoosterChallenge 2025: These are this year's winners from FIT

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.

[img]

Research from FIT focusing on the verification of quantum computations was selected among the most interesting works in the field of computer science

An article entitled An Automata-Based Framework for Verification and Bug Hunting in Quantum Circuits, to which Ondřej Lengál from the VeriFIT group made a significant contribution, was selected as a research highlight for the journal Communications of the ACM. The research highlights section usually selects several of the most interesting results from tens of thousands of articles submitted annually to ACM conferences across all areas of computer science. This is the first time that an article with a Czech affiliation has received this privilege.

The cited article introduces a new approach to the automatic verification of quantum computations using automata theory, thus creating a bridge between these two research areas (quantum computing and automata). Automata are used here for the compact representation of complex sets of quantum states. Follow-up work introduces variants of these automata that allow the representation of sets of quantum states with several dimensions of infinity (such as the number of qubits or potential amplitude values) and the verification of parametric quantum programs (e.g., that the algorithm works correctly for any number of qubits).

The article was written in collaboration with researchers from Academia Sinica in Taiwan (Republic of China), with whom the VeriFIT group has been actively collaborating for more than 15 years. More information on Ondřej Lengál's research and the challenges associated with quantum computing can be found here.

[img]

New possibilities for diagnosing respiratory diseases: joint research by experts from FIT VUT and doctors from Brno University Hospital

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.

[img]

Successful conclusion of the JSALT 2025 international research workshop

A reception held at the BUT Rector's Office on Friday, August 1, marked the end of the international research workshop JSALT 2025, organized by the Center for Language and Speech Processing at Johns Hopkins University in Maryland. The event, now in its 32nd year, attracted more than 100 researchers from 22 countries working in the field of speech and language technologies. It took place at the Faculty of Information Technology at BUT over a period of six weeks (preceded by a summer school).

The program was based on the work of four research teams, which presented their findings during the last days of the workshop, all of which were related to the topic of machine learning applied to human speech. Although we are a small country, speech and language technologies rank us among the most important global centers, alongside the United States and China. The Czech Republic's, and specifically Brno's, footprint in this area of artificial intelligence is undeniable, thanks to the Speech@FIT research group and names such as Hynek Heřmanský, Jan Černocký, and Lukáš Burget.

The goal of JSALT is, of course, to push the boundaries of research. However, perhaps an even more significant outcome of the workshop can be seen in the promotion of international scientific cooperation. Many of today's technologies have their roots in research and collaborations that began at JSALT. We would like to thank the organizers, presenters, and participants for their work and enthusiasm!

More detailed information about the workshop, the work of our "speakers," and a link to the event's photo gallery can be found HERE.

[img]
Back to top