News

Ondřej Olšák from the Institute of Computer Systems will defend his dissertation in February.

We invite you to the defense of the dissertation of Ing. Ondřej Olšák from the Department of Computer Systems, FIT BUT, which will take place on Thursday, February 5, 2026, at 1:00 p.m. in meeting room C209. The supervisor of the dissertation entitled "Acceleration of wave propagation simulation calculations using pruned Fourier transform" is Prof. Jiří Jaroš.

Ondřej Olšák's research is closely linked to possible practical applications, particularly in the highly monitored field of medicine. In his work, he focuses on optimizing wave propagation simulations, which are key to planning neuromodulation procedures and tissue ablation using ultrasound waves. The SC@FIT research group led by Prof. Jiří Jaroš, of which Ondřej Olšák is a member, focuses not only on the development and optimization of wave propagation simulators at FIT. The group is involved in the development of the open-source toolkit k-Wave, which is one of the most highly regarded tools in the field of wave propagation simulation. k-Wave uses a k-space pseudo-spectral method based on Fourier transformation to calculate wave propagation simulations, which allows for high computational accuracy. However, the Fourier transform calculation accounts for approximately 60% of the total simulation computation time and presents a challenge for optimization.

Simulating wave propagation in high-resolution domains is a computationally demanding task—a single simulation can take from seconds to hours or days, depending on its parameters. When planning medical procedures, it is necessary to perform dozens of such simulations. This is where the key challenge behind Ondřej Olšák's research comes in: to find a new optimization approach to speed up wave propagation simulations using spectrum pruning techniques. When asked for a layman's explanation of the research goal, Ondřej Olšák begins broadly: "In order to simulate the propagation of ultrasound waves in the human body, we must convert the real structure of tissues into digital form—into a regular grid of points. Each point carries information about the type of tissue at that location. The finer the grid we use, the more accurately we can capture the actual shapes and transitions between different types of tissue, and the more accurate the result of the simulation itself will be. However, as the fineness of the grid increases, so does the computational complexity. The key to optimization was understanding how the coefficients in the spectral (frequency) domain of the propagated wave change and what influences their position. After conversion using a fast Fourier transform, the wave is mathematically expressed as a set of spectral coefficients. When we increase the resolution of the domain, the spectral region will contain more of these coefficients. However, for high-resolution domains, we do not need to calculate all the coefficients that occur in the spectral domain to achieve an acceptable result. When calculating the Fourier transform, we can therefore neglect certain parts of the spectrum and calculate only those coefficients that are truly important for the result. This technique, called spectrum pruning, allows for a significant acceleration of the simulation while maintaining acceptable accuracy.

This is the core of the optimization that Ondřej Olšák designed and experimentally verified for the k-Wave tool. The result of his work is a modification of the existing k-Wave implementation for both 2D and 3D simulations. Experiments performed on anatomical models of the human head and liver with different sizes of computational domains – up to a resolution of 9216×12288 points for 2D and 567×672×448 points for 3D – showed acceleration of up to 1.9× for two-dimensional and 1.7× for three-dimensional simulations. However, the spectrum pruning technique comes with a trade-off: neglecting part of the spectral coefficients introduces a certain error into the calculation. The key is to find the right balance between the range of the neglected part of the spectrum and the acceptable accuracy of the simulation results. Determining the acceptable error limit is not a trivial task and provides an incentive for further research in this area.

According to Olšák, the above-described optimization of calculations can be used, for example, in situations where the appropriate position of the ultrasound transmitter is sought before the actual procedure, so that the ultrasound waves are focused as accurately as possible on the desired part of the brain or other tissue and no damage is caused to the surrounding tissue. In this process, it is possible to use an optimized version of the simulation to quickly explore different configurations, and once the appropriate position of the transmitter has been found, to perform a control calculation using a non-optimized simulation to ensure maximum accuracy of the result. This procedure thus significantly reduces the time and costs required for treatment planning. It should be added that the results of Olšák's research can be applied not only in the medical field, but also in other areas requiring wave propagation simulations in sparse heterogeneous media.

Ondřej Olšák takes a pragmatic view of his doctorate and its imminent completion: "I like the fact that someone will now read my work as a whole and give me further feedback on my research. I was already involved in the research during my master's studies. I enjoyed searching for solutions and testing hypotheses the whole time." He himself admits that it was not always an easy journey: "At the beginning of my dissertation research, I reached a dead end and felt like I was at a loss. Then one day, a video I happened to see gave me an idea for a different method. It was a wonderful, indescribable feeling." He would like to continue his research, but his next steps will be in industry, where he sees interesting challenges. "I would like to thank my family for their support throughout my studies. And then, in addition to my supervisor, Professor Jaroš, I would like to thank all my colleagues from the research group for their long-term help and support," Ondřej Olšák recalls with gratitude at the end of our interview. We will keep our fingers crossed for him, and not just for his public defense of his dissertation. We wish him the joy of discovering new paths in his professional practice as well.

[img]

FIT security research wins Minister of the Interior Award for second year running

The Faculty of Information Technology has once again scored highly in the Minister of the Interior Award for Exceptional Achievements in Security Development. Following last year's victory by Dr. Vladimír Veselý's team (project BAZAR: Building a community on the issue of cashless dark markets), the same success was repeated by the project Set of forensic analytical tools for image and video processing for the criminal police and investigation service, whose main researcher is Ing. Jan Pluskal, Ph.D. from the NES@FIT research group. The project involves the development of a set of forensic analytical tools for image and video processing, which are intended for the criminal police and investigation services of the Czech Police. Among other things, the output is software that significantly speeds up the evaluation of large-scale criminal activity. A significant advantage, which was also taken into account by the competition jury, is the immediate applicability of the developed solutions.

Replacing months of manual and extremely mentally demanding work by criminal investigators with machine processing in a matter of days was one of the motivations of the development team, which consists of experts from the Faculty of Information Technology at Brno University of Technology and researchers from the Department of Cybernetics at the Faculty of Electrical Engineering at the Czech Technical University in Prague. The key software result of the project is the FACIS platform, which automates the process of detecting malicious content and evaluating information in image data from secured memory storage, often up to terabytes in size. According to experts from the Czech Police, this was not possible until now. The previous practice was based on extremely time-consuming, mentally and personally demanding manual work by criminal investigators, who checked suspicious image data file by file. The project outputs also include the entire associated backend and ecosystem, or rather a functional sample: a highly accelerated GPU server, which, thanks to the FACIS platform architecture, offers several times faster data processing than cloud solutions.

Functional sample of a highly accelerated GPU server

The research team at the Faculty of Information Technology at Brno University of Technology contributes computer vision algorithms to the project. Here, it is necessary to highlight the work of Dr. Tomáš Goldmann's team from the STRaDe@FIT research group – and at the application level. "The practical applicability of the developed tools in operation, which was praised by the first users, is behind us. But not only that," says Jan Pluskal. Researchers at our university are also involved in solving the problem of multimedia data extraction. The research team is working in an area with significant social implications, but at the same time, it is a technically and, in particular, mentally demanding issue. Pluskal himself confirms this. "It's a challenge, no doubt about it. But we are all motivated by the fact that we are doing the right thing and not just generating software that will end up in a drawer. The result is a practical application that will be used. And, of course, we are pleased to be able to help law enforcement agencies."

The prestigious Minister of the Interior Award has been presented since 2011 with the aim of recognizing creators of outstanding results and motivating them to continue their interest in implementing projects. This year, the jury selected from 12 submitted projects. Selected project results were also presented at the world's most prestigious conferences in the field.

Another important security topic is addressed by the project that took second place in the Minister of the Interior Award: Cyber Security of Networks in the Post-Quantum Era. This project is also being implemented at BUT, and its main investigator is Prof. Jan Hajný from FEKT. And let's add that another project from the "kitchen" of FIT VUT, whose main researcher is Doc. Ondřej Ryšavý, took third place. The project Analysis of Encrypted Traffic Using Network Flows focuses on solving phishing and malware problems.

[img]

In January, Martin Hurta from the Institute of Computer Systems will defend his dissertation

We invite you to the defense of the dissertation of Ing. Martin Hurta from the Department of Computer Systems, FIT VUT, which will take place on Wednesday, January 21, 2026, at 10:00 a.m. in meeting room G108. The supervisor of the dissertation entitled "Advanced Cartesian Genetic Programming for Biomedical Applications" is Prof. Lukáš Sekanina.

Martin Hurta has long been involved in the field of Cartesian genetic programming (CGP), an artificial intelligence technique inspired by natural evolution. Genetic programming was historically developed for the purpose of designing electronic circuits, but today it is often used in connection with the design of FPGA-type embedded circuits. This method belongs to a category of artificial intelligence algorithms called evolutionary algorithms. There are a number of subcategories of nature-inspired algorithms, evolutionary algorithms being one of them (others include artificial neural networks). The essence of Cartesian genetic programming is the automated design of algorithms, where, in layman's terms, we have several candidate random solutions, run and evaluate them all, select the best one, and create new solutions through random changes. By repeating these operations, the solution is gradually improved, following the model of evolution, until the result is a working program. We can then imagine the solution of Cartesian genetic programming as a graph of operations working with inputs and constants. This graph takes the form of a 2D grid of nodes, which is internally represented by a string of values. The above-mentioned changes in the connections between nodes and the functions they perform take place in the grid. Following the example of genetics, experts refer to these as solution mutations.

The scalability of evaluation, i.e., the evaluation of all candidate solutions in hundreds of thousands of iterations, is a time- and energy-consuming challenge that Martin Hurta is trying to solve in his research. Although Cartesian genetic programming is capable of proposing very interesting solutions in tasks such as classification, symbolic regression, and circuit design, its real-world application is still limited. This is particularly evident when compared to machine learning techniques such as artificial neural networks. The reason for this, apart from the computational complexity itself, is also the unfamiliarity with these procedures outside the narrow community of researchers.

In his dissertation, Martin Hurta explores possible modifications and adaptations of Cartesian genetic programming that would help improve the properties of both the algorithm itself (design time, computational requirements) and the proposed solutions (classification accuracy, ratio between accuracy and hardware requirements, explainability). He then experimentally verifies the proposed methods on problems in the field of biomedical informatics and bioinformatics, which can benefit from the explainability of the proposed solutions or the possibility of their implementation in energy-efficient wearable devices (e.g., medical monitoring systems) – something that conventional machine learning methods have difficulty with. Hurta specifically mentions his collaboration with Prof. Stephen Smith from the University of York: This project uses devices that monitor the movements of patients with Parkinson's disease, who often suffer from dyskinesia (in very layman's terms: involuntary movements), using an accelerometer and gyroscope. The goal is to automatically recognize the manifestations of dyskinesia in patients' movements and enable doctors to use this information to correctly target medication (the drug Levodopa) and its dosage. Similarly, Hurta participated in the application of Cartesian genetic programming algorithms to recognize alcohol abuse and depressive disorders from EEG, and to calculate polygenic risk scores and predict plant growth based on genetic information (here it is worth mentioning his collaboration on calculations with the Institute of Biomedical Engineering at FEKT, Wolfram Weckwert from the University of Vienna, and Dirk Walther from the Max Planck Institute of Molecular Plant Physiology). It should be added that polygenic risk scores generally allow the risk of predisposition to a negative phenomenon to be determined on the basis of multiple genes; in humans, this most often involves determining the likelihood of a specific disease. When asked to identify the field of application he is most intensively involved in and favors, Hurta's choice is clear: "Parkinson's disease is the one I've been working on the longest and is also very topical. My colleagues and I are continuing to work actively on this application, and I believe that the proposed solutions could become part of diagnostic tools in the future and thus really help those affected. In addition, it is possible to consider a number of other diseases that affect human movement in the future."

There are many potential practical applications, and according to Martin Hurta, there is a reason for this. "There are so many methods of artificial intelligence and machine learning, and practically each one has its own possible applications, a field in which it can shine. The advantage of Cartesian genetic programming is that its solution can be written as a mathematical equation. And there are areas where this is critical—often in medicine, the space industry, military technology, and so on. Thanks to the mathematical equation, experts in these fields can say, 'It may be artificial intelligence, but it has designed this specific solution, this equation, and that is what will go into our device. It won't just be some kind of black box,'" says Hurta, describing the key advantage of genetic programming. He adds: "It would be great if our classifiers were to find their way into other medical 'boxes'."

At FIT, Martin Hurta is part of the research group EvoAI Hardware, led by his supervisor, Prof. Lukáš Sekanina. "I see a doctorate as a natural step. I want to continue at the faculty. I am part of a new large project led by Dr. Vojtěch Mrázek, within which I can continue working on similar topics. I'm glad to have a 'stamp' on my progress; people are always happy to have their position secured," says Martin Hurta, commenting on his current situation and possible future with a parallel to computer games.

We wish Martin Hurta a successful defense and much success in his future research.

[img]

In January, Ladislav Mošner from the Institute of Computer Graphics and Multimedia will defend his dissertation

We invite you to the defense of the dissertation of Ing. Ladislav Mošner from the Department of Computer Graphics and Multimedia, FIT BUT, which will take place on Wednesday, January 14, 2026, at 9:00 a.m. in meeting room G108. The supervisor of the dissertation entitled "Speaker recognition from a remote source with multi-channel audio processing" is Prof. Jan Černocký.

The general scientific problem that Mošner has been dealing with for a long time is speaker verification in a situation where we have a recording made from multiple remote microphones. We can imagine, for example, our communication with voice assistants (devices such as Google Home or Amazon Echo). The aim of Mošner's work is to offer steps leading to more accurate verification of the identity of a specific speaker in a similar situation, using: a) solutions to the absence of data for training models based on neural networks; b) finding specialized data processing techniques.

"In the first step, the user registers their voice in the system, i.e., they provide a recording of their voice. From this recording, information is extracted using neural networks—embedding—which identifies and characterizes them," Mošner begins to describe the general context of speaker verification in layman's terms. "In addition, we have a second group of recordings available, which come from multiple channels, typically several microphones." From these multiple recordings, it is necessary to extract the aforementioned embedding, i.e., a characteristic vector (a typical representation of a given speaker), which is then compared with the initial registration embedding. The result of the comparison is a score which, again in layman's terms, indicates the extent to which the system believes that two speakers are one and the same person. The specificity of verification in Ladislav Mošner's research lies precisely in the existence of multiple channels from which the recordings originate.

The above-defined research field is a relatively narrowly specified area that many experts around the world do not address. Generally speaking, there are few publications on the subject. This also led to problems that the author faced in his dissertation. Specifically, these included a lack of data/datasets, which are the basis of machine learning. Until now, data sets prepared for specific publications have been used. Mošner therefore sought to create a new data set for training and subsequent evaluation in such a way that other users could also use this set (i.e., while maintaining the principle of data openness). The result is the MultiSV and MultiSV2 data sets.

Another output of Mošner's dissertation is the solution to the problem of multichannel verification itself. Such a complex challenge required division into subproblems. The first sub-problem was multichannel processing using signal methods with neural networks; the second sub-problem was the extraction of embeddings in a situation where the input is only a single-channel recording that has been cleaned up (from reverberation or noise and with speech highlighted), i.e., a better version of the original multichannel input. The core of the author's work consisted of the first step, i.e., improving multichannel processing to provide a better recording of the speaker, which in turn leads to more accurate verification. The release of the MultiSV2 dataset then enabled Mošner and his colleagues to train a complex system capable of taking a multichannel recording and extracting embeddings directly from it.

When asked what he considers his greatest research achievement during his doctorate, Ladislav Mošner responds stoically: "Well, we achieved exactly what the project set out to do. We created a functional, complex system that does not depend on preprocessing." He himself states that he would like to continue his research into multichannel processing in other areas of human speech processing at the faculty. He would also like to continue working on the topic of speech biometrics (speaker verification), where he is already involved in cooperation with an industrial partner—the Greek company Omilia, a major global player in the field of conversational systems and voice biometrics. He sees his dissertation as a major milestone in his successful research career. He feels grateful to the people who surrounded him at the faculty. "I am glad that I was able to do my doctorate in Professor Černocký's group, where there are many great people and great experts." He also mentioned the importance of his research stay abroad at the French institute Inria (Institut national de recherche en sciences et technologies du numérique), which he completed

We wish Ladislav Mošner a successful defense and the fulfillment of his other scientific goals.

[img]

We invite you to practical workshops on using AI tools

Would you like to improve your skills in working with AI tools? The European project VASSAL is organizing two workshops at our faculty focused on the practical and effective use of AI tools a) in administrative and IT work, b) in scientific research. The program is divided into two full-day workshops on January 15 and 16, alternating between morning (9:00 a.m.–12:00 p.m.) and afternoon (1:00 p.m.–3:00 p.m.) blocks. Both training sessions will be led by Prof. Daniel Mertens, biochemist, lecturer, and head of research groups at the German Cancer Research Center (Das Deutsche Krebsforschungszentrum) and the University of Ulm.

The first workshop focuses on the use of artificial intelligence (primarily in the sense of large language models) in administrative and IT work. Participants can expect a specific agenda of artificial intelligence applications for meeting and correspondence preparation, data and project management, and simplified reporting. The second workshop focuses on the use of LLMs in coding (vibe coding) and for scientific creativity/brainstorming and communication. The event is aimed at researchers, Ph.D. students, technical and economic staff, and generally anyone interested in the everyday use of AI tools.

Prof. Mertes' courses are based on specific practical experience and joint problem solving. The workshops are free, but registration is required.

For more information, visit the VASSAL project website.

[img]

Page:

Back to top