CERN

Our research group successfully collaborated with CERN on the architecture design and integration of an automated tool serving for formal verification of the source code of Programmable Logic Controllers. Read more »

Our PhD student Ágnes Salánki won the right to participate in ISOTDAQ 2014 - 5th International School of Trigger and Data Acquisition. The school was held between January 28 and February 5 at the Wigner Data Center (Budapest), the "second heart" of the LHC Worldwide Computing Grid.