Siker diplomaterv pályázaton

Kutatócsoportunk doktorandusza, Hajdu Ákos kapta november 3-án a Pro Progressio Alapítvány által odaítélt diplomaterv ösztöndíjat. Az ösztöndíjakat évente, műegyetemi karonként egy-egy BSc-s és MSc-s, végzős hallgató nyerheti el. Hajdu Ákos diplomatervének címe "A Survey on CEGAR-based Model Checking", konzulense Tóth Tamás és Vörös András. A díjakat Pakucs János, a kuratórium elnöke és Dr. Józsa János rektor adták át. Gratulálunk!

További részletek az alábbi linken érhetőek el.