CERN Technical Student scholarship awarded to our MSc student

Our MSc Student, Donát Csikós has just won a scholarship to CERN Switzerland, where he is going to spend 12 month as a "Technical Student". He will be part of the team that manages the complex software systems of the measurement equipment, and their evolving dependencies. One key point in his success was his knowledge of static code analysis techniques that he learned in our Formal Methods course.