Congratulations to the students of Budapest Univeristiy of Technology and Economics who had outstanding achievements in the faculty’s Scientific Students’ Associations Conference. Of the winners Dávid Badó, Bence Graics, Sámuel Várallyay, Gyula Sallay, ergő Somos and Krisztián Tóth spent their summer internship by IncQuery Labs. We are proud and happy to support them in their thesis.

Gyula Sallay, 1st price: Compiler Optimizations for Software Verification
Advisors: Tamás Tóth, Ákos Hajdu
Software section

Krisztián Tóth, Gábor Szilágyi, 2nd price: Schematic-based distributed control of the cyber-physical systems at run time
Advisors: András Vörös, Márton Búr, Gábor Szárnyas
Smart systems section

Bence Graics, 3rd price: Model-driven design and verification of component-based reactive systems
Advisors: András Vörös, Vince Molnár
Simulation and modelling section

Sámuel Várallyay, Gergő Somos, Dávid Badó, 3rd price: Precision clock synchronization and application in wireless sensor networks
Advisors: András Vörös, Dr. Tamás Kovácsházy
Signal processing section

You can find more details about Scientific Students’ Associations Conference at the official website of the Fault Tolerant Systems Research Group.