I leverage my expertise in the Release Test Team to specialize in testing the Anaconda Installer for RHEL and Fedora deployments. I actively contribute by: * Enhancing Test Automation: I develop and implement new automated test cases, streamlining the testing process. * Optimizing Existing Tests: I identify opportunities to automate existing manual tests, improving efficiency. * Thorough Quality Assurance: I meticulously review test results and conduct manual tests when necessary to ensure comprehensive coverage.

Under the leadership of Prof. Ing. Timáš Vojnar, Ph.D., we are researching Read Copy Update, with the focus on static analysis, where we are working on implementing a static analyser for RCU, by building a plugin for Facebook Infer with this functionality.

KnoT is a reasearch group focused on big data and machine learning. My field of work was connected to the tool called verticalizer, which is a tool used for parsing the input text from a lot of types of inputs into single words, while preprocessing them for the next part of the process. My task was to imporve this tool and redo it from the python2 version into the python3 version.