Best Student Paper Award of DCNET 2013
Best Student Paper Award of DCNET 2013 was awarded to Libor Polčák, Martin Holkovič and Petr Matoušek for their contribution titled "A New Approach for Detection of Host Identity in IPv6 Networks".
AHS 2013 Best Paper Award
Best Student Paper Award at DCNET 2013
Best Student Paper Award at DCNET/ICETE 2013 was rewarded to Mr. Libor Polčák and Martin Holkovič for their paper "A New Approach for Detection of Host Identity in IPv6 Networks".
CADE-24: Best Paper Award
The paper "The tree width of separation logic with recursive definitions" by Radu Iosif, Adam Rogalewicz and Jiri Simacek, closed a clear open problem since 2004 and won the CADE-24 Best Paper Award.
Abdulla Parosh A.
Haziza Frédéric
Holík Lukáš, doc. Mgr., Ph.D.
Jonsson Bengt
Rezine Ahmed, Assoc. Prof.
EASST Best paper award at ETAPS'2013
EASST Best paper award at ETAPS'2013
The paper "An Integrated Specification and Verification Technique for Highly Concurrent Data Structures" by Parosh Aziz Abdulla, Frederic Haziza, Lukas Holik, Bengt Jonsson, and Ahmed Rezine, received the EASST Best paper award at ETAPS'2013.
ETAPS (The European Joint Conferences on Theory and Practice of Software) is the primary European forum for academic and industrial researchers working on topics relating to Software Science. ETAPS is a confederation of six main annual conferences (CC, ESOP, FASE, FOSSACS, POST and TACAS), with a total number of more than 500 submissions each year, accompanied by satellite workshops and other events.
Mészáros István, Ing.
ICT Master Thesis of the Year 2013 - Cloud Services and Datacenter Managed Services
1. place for Thesis "Cooperative Distributed Data Backup System"
in category Cloud Services and Datacenter Managed Services
ICT Master Thesis of the Year 2013 - Information systems, other IT theses
1st place for thesis "Coevolutionary Algorithm in FPGA" in category Information systems, other IT theses
ICT Master Thesis of the Year 2013 - Solutions for Bussiness Mobility and Security
1st place for thesis "Hardware Acceleration of Network Security and Monitoring Applications" in category Solutions for Bussiness Mobility and Security
Herout Adam, prof. Ing., Ph.D.
Janko Roman, Ing.
Jašek Roman, Ing.
Kajan Rudolf, Ing.
Kučera Petr, Ing.
Matula Tomáš, Ing.
Milet Tomáš, Ing., Ph.D.
Szentandrási István, Ing.
Zachariáš Michal, Ing., Ph.D.
Imagine Cup
Jan Hlavička Award for Outstanding Results in PhD Studies
The committee awarded Jan Hlavička Prize for outstanding results in PhD studies presented at seminar "Computer architectures and diagnostics" for PhD Students, Teplá, 2013.
Josef Hlávka's Award
Josef Hlávka's Price for the best students and absolvents of Prague public universities, Brno Technical University and young talented workers from Academy of Sciences of the Czech Republic.
Nejlepší spolupráce roku
Prize City of Brno in 2013
Prize City of Brno in 2013 was awarded in technical sciences prof. Ing. Jan Maximilian Honzík, CSc.
Kekely Lukáš, Ing., Ph.D.
Sumbalová Lenka, Ing.
Prize of Zdena Rábová
Prize is awarded for excellent study and science results.
Senior Program Committee Membership Diploma
Prof. Miroslav Sveda has served as a member of the Senior Program Committee of the Fifteen International Conference on Enterprise Information Systems -- ICEIS 2013, held in Angers Loire Valley, France from 4 to 7 of July 2013. Confirmed by Diploma attached. Joaquim Filipe, Conference Co-Chair of ICEIS 2013.
The Commemorative Medal of BUT (The Silver Medal)
The medal was awarded for development of university education.
The Commemorative Medal of BUT (The Silver Medal)
The medal was awarded of team Aero Works for excellent scientific results in project Smart Autopilot.
The Rector's Award
The Rector's Award for excellent scientific research.
Hrbáček Radek, Ing., Ph.D.
The Rector's Award
The Rector's Award for excellent results in Master study programme and scientific research.
Karmazín Jaromír, Ing.
The Rector's Award
The Rector's Award for excellent study results.
Victory in three categories of the international software verification competition SV-COMP'13
The Predator tool won three categories of the international software verification competition SV-COMP'13 associated with the prestigious conference TACAS'13. In particular, Predator won the categories: MemorySafety, HeapManipulation, and FeatureChecks (including, e.g., selected parts of Linux drivers).