User:Luca Compagna

Dr. Luca Compagna is contributing to the Product Security Research at SAP where is responsible for various internally- and externally-funded research projects. He received his MSc in Informatics Eng. from the U. of Genova and his Ph.D. in Computer Science jointly from the U. of Genova and Edinburgh. His area of interests include security engineering, automated reasoning, and their application to the modelling and analysis of industrial relevant scenarios. He contributed to various projects on information security and he has published various scientific publications in his area of interest.