A Brno University of Technology project
The Automation of Formal Verification (AUFOVER) project responds to the ever-growing need for rapid and high-quality software verification that is carried out within the development life cycle
Brno University of Technology
Red Hat is an official industry partner of FIT VUT and the collaboration runs on multiple levels. Undergraduate students have an opportunity to join Red Hat already during their studies through our internship program, assign for accredited courses taught by experienced engineers from Red Hat. We sponsor PhD students and various projects and activities like a summer school for girls.
Students can work and collaborate on their open source projects in an open source lab directly at the university sponsored by Red Hat.
On the weekend 24th - 26th January, the 12th round of the annual, free, Red Hat sponsored community conference DevConf CZ took place right after the first-ever Research Day Europe in Brno at the beautiful campus of the Brno University of Technology Faculty of...
On January, 23, the day before Devconf.cz, the Research team organized its own academic conference, inviting a score of speakers from our university circles.
Title Summary Research Area CHESS: Cyber-security Excellence Hub in Estonia and South Moravia The Cyber-security Excellence Hub in Estonia and South Moravia (CHESS) brings together leading R&I institutions in both regions to build … Security, Privacy, Cryptography Perun: Lightweight Performance Version System Perun is an open source light-weight Performance Version System, which works as a wrapper over existing Version Control Systems and in parallel manages performance profiles corresponding to different versions of projects. Moreover, it offers a tool suite suitable for automation of the performance regression test runs, postprocessing of existing profiles or effective interpretation of the results. DiffKemp: Automatic analysis of semantic differences The project aims at creating a tool for automatic analysis of differences in the code between versions of the Linux kernel. The goal is to determine whether the semantics (the effect) of some kernel option, function, or parameter, changed between two kernel versions