Faculty of Information Technology, BUT

Best Paper Award of DCNET 2019

Best Paper Award of DCNET 2019 was awarded to Martin Holkovič, Ondřej Ryšavý a Libor Polčák for their contribution titled "Using Network Traces to Generate Models for Automatic Network Application Protocols Diagnostics".

Best Paper award of CADE-27

The Best Paper award of CADE-27 for the paper Automata Terms in a Lazy WSkS Decision Procedure (V. Havlena, L. Holik, O. Lengal, T. Vojnar).

The Joseph Fourier Award in computer science

Dr. Vojtech Mrazek has been awarded The Joseph Fourier Award (1st place), which is annually announced by the French Embassy in Prague in cooperation with Atos. This price is for doctoral students for research in computer science and informatics. The winners will receive financial support and will be given the opportunity to travel to a research laboratory in France. Vojtech Mrazek deals with the use of machine learning for digital circuit optimization and approximation. 
Back to top