Enrico Steffinlongo  Enrico Steffinlongo photo         

contact information

Software Engineer, Emerging Technologies




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.