ERC grant awardees joined new COMET proposal NGC
We are pleased to announce that Maria Christakis joined SBA’s new COMET proposal Next Generation Cybersecurity (SBA-K1 NGC) as member of the scientific and innovation board, Laura Kovacs and Matteo Maffei joined as key researchers.
Maria Christakis’s ERC grant focuses on improving software testing,
Laura Kovacs’s ERC grant aims to improve software reliability using mathematical logic to model code and
Matteo Maffei’s ERC grant uses formal logic to protect privacy of information errors.