MSc diákunk felvételt nyert a CERN Technical Student programba

Csikós Donát, tanszékünk MSc-s hallgatója felvételt nyert a svájci CERN központba, ahol a "Technical Student" nevű ösztöndíj keretében 12 hónapot tölthet. Feladatai közé a laborokban található mérési eszközök szoftvereinek, illetve azok változásának kezelése tartoznak. Hallgatónk sikeréhez hozzájárultak a Formális módszerek tantárgy keretében elsajátított statikus programellenőrzési technikák is.