CERN

Successful collaboration with 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 »

PhD student participation at ISOTDAQ 2014

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.

Syndicate content