Sergiu Bursuc

postdoctoral researcher

SATOSS team at University of Luxembourg

sergiu.bursuc at uni.lu

Areas of interest:

cryptography, computer security, specification and verification, automated reasoning