profile
I am a Software Engineer based in Emerging Technology part of IBM Research team in the UK.
I received a doctorate degree in Computer Science at Università Ca' Foscari in 2018 with a dissertation on "Efficient security analysis of Administrative Access Control Policies". My main research fields are software engineering, security, formal methods, and program verification.
In 2018 I joined IBM research and I am currently working in the Fully Homomorphic Encryption team.