Három hallgatónk vesz részt a "CERN Summer Student Programme" programban
Nagy örömünkre szolgál, hogy kutatócsoportunk három MSc-s hallgatója felvételt nyert a svájci CERN központba (Európai Részecskefizikai Laboratórium). Hallgatóink sikeréhez hozzájárult a tanszékünkön írt TDK győztes dolgozat és a tanszékünkön végzett oktatási munka. A TDK dolgozatok megtekinthetők az alábbi linkeken:
- Hajdu Ákos: Diszkrét dinamikus rendszerek viselkedésének felderítése ellenpélda-alapú absztrakció finomítás (CEGAR) segítségével (társszerző: Mártonka Zoltán)
- Makai József: Inkrementális lekérdezések optimalizációja a felhőben
- Stein Dániel: Nagyméretű forráskódtárak inkrementális statikus analízise
