HUN ENG
15th International Workshop on Satisfiability Modulo Theories
Kollégáink tudományos konferencián vettek részt Heidelbergben

Dr. Kovásznai Gergely az IoT Kutatóintézet igazgatója, és Erdélyi Balázs kutatási demonstrátor 2017. július 22-23-án tudományos konferencián vettek részt Heidelbergben, Németországban.

 

 

A 2017-es SMT Workshop alkalmából publikált cikkről tartottak előadást, melynek szerzői Dr. Kovásznai Gergely, Biró Csaba és Erdélyi Balázs, akik az IoT Kutatóintézet vezetéknélküli szenzorhálózatok (wireless sensor networks, WSN) formális verifikációjával és optimalizációjával foglalkozó kutatócsoportjának tagjai. A téma ezen vezetéknélküli szenzorhálózatok ütemezése OMT szolverek segítségével.

 

 

A festői kisváros remek helyszínt nyújtott a konferenciához, ahol kollegáink nem csupán prezentálhattak, de elsőkézből hallgathattak előadásokat a szakma nagyjaitól, valamint partnerkapcsolatokat építhettek ki más kutatókkal a további együttműködés reményében.

 

 

 

 

 

 

 

 

 

Természetesen egy kis kikapcsolódásra is jutott idő a fárasztó napok után.