TDK eredmények
November 14-én szerdán lezajlott a 2012. évi kari TDK konferencia, ahol az alábbi szép eredmények születettek tanszékünkről:
Energetika és irányítástechnika szekció
I. helyezett
Buzga Viktor: Műveleti sorrendtervezés az autóipari lézerhegesztés területén
Konzulensek: Dr. Kovács András tudományos főmunkatárs, MTA SZTAKI és Strausz György
Hardver szekció
I. helyezett
Németh Péter: Hierarchikus adatgyűjtő-vezérlő hálózati rendszer otthoni alkalmazásokhoz
Konzulens: Tóth Csaba
III. helyezett
Ferencz Bálint: Nagypontosságú óraszinkronizáció IEEE 1588 alapon beágyazott Linux rendszerekben
Konzulens: Kovácsházy Tamás
Jutalomban részesült
Németh Attila: Tesztkörnyezet fejlesztése szilícium alapú neurális elektródák in vivo mechanikai vizsgálatához
Konzulensek: Fekete Zoltán, tudományos segédmunkatárs, MTA Műszaki Fizikai és Anyagtudományi Kutatóintézet és Jobbágy Ákos
Intelligens és információs rendszerek szekció
III. helyezett
Lóska Ádám: Agy-számítógép interfészek integrációja virtuális valóság rendszerekbe
Konzulens: Mészáros Tamás
Modellezés és szimuláció szekció
I. helyezett
Hajdu Ákos, Mártonka Zoltán: Diszkrét dinamikus rendszerek viselkedésének felderítése ellenpélda-alapú absztrakció finomítás (CEGAR) segítségével
Konzulensek: Bartha Tamás és Vörös András
Szoftver szekció
I. helyezett
Tóth Tamás: Valósidejű biztonságkritikus rendszerek k-indukció alapú verifikációja
Konzulensek: Vörös András és Majzik István
I. helyezett
Búr Márton: MatLab Simulink rendszerek modell-alapú validációja
Konzulensek: Horváth Ákos és Hegedüs Ábel
II. helyezett
Jeszenszky Balázs: Modell alapú kódgenerálás helyességének ellenőrzése
Konzulens: Majzik István
II: helyezett
Molnár Vince: Szaturáció alapú modellellenőrzés lineáris idejű tulajdonságokhoz
Konzulensek: Vörös András és Bartha Tamás
II: helyezett
Csikós Donát: Nagy szoftverinfrastruktúra feletti inkrementális modell-analízis
Konzulensek: Horváth Ákos és Ráth István
Ezúton gratulálunk az érintett hallgatóknak és konzulenseiknek az eredményes munkához!