Lorenzo Ceragioli


About me

I am an Assistant Professor (RTD-A) of Computer Science within the SySMA research unit of IMT Lucca. Previously, I was postdoctoral researcher at the Department of Computer Science of University of Pisa. I received my Ph.D. in Computer Science from the University of Pisa.

Research Activities

My research interests include modeling and verification of quantum systems and formal methods for computer security, in particular applied to Access Control. 

Lately I have been working on:

Selected Publications

See my DBLP page for a full list of publications.