News

The Faculty of Information Technology of BUT in co-operation with the Faculty of Informatics of Masaryk University organised the 13th Alpine Verification Meeting - AVM'19 which took place from 9 to 11 September. This is a meeting of people interested in current research in the area of automatic verification (as well as some other areas) from the Alpine region and the surrounding countries. At the meeting, mainly doctoral students were presenting their results, however, there were also three lectures given by prominent experts in the given area: J. Esparza of TU Munich, M. Pezze of Universita della Svizzera italiana and Universita degli studi di Milano Bicocca and N. Gorogiannis from Facebook. For more information, see HERE.

The participants of the Summer School (F)IT for girls had the opportunity to programme a LEGO robot, try hacking using a gummy bear, create their own chatbots or learn to edit photographs. Having the longest history in the Czech Republic, the event was organised for the thirteenth time this year in the period from 26 to 30 August 2019. It is intended primarily for students aged 12 to 19 who are interested in IT. With the FIT fits girls (FIT sluší dívkám) project, the faculty strives to support young girls so that they do not fear the IT fields. For more information, go to the Summer School website.

Dr. Vojtěch Mrázek of the Department of Computer Systems received the Joseph Fourier Prize (1st place), which is awarded annually by the Embassy of the French Republic in Prague in co-operation with Atos; the award was presented by Nobel Prize laureate Jean-Marie Lehn in a ceremony held in the National Museum. The prize is awarded to students of doctoral programmes for research work in the field of computer sciences and informatics. The winners receive financial support and are presented with the opportunity to travel to a research laboratory in France for sholarship. Vojtěch Mrázek deals with the use of machine learning for optimisation and approximation of digital logic circuits. His research was also recently recognised with the Antonín Svoboda Prize awarded by the Czech Society for Cybernetics and Informatics.