I (ORCID) am currently an Associate Professor at Università degli Studi di Milano (Department of Computer Science, formerly known as DICo) where I teach several courses. I also worked as a Teaching Assistant at the University of Italian Switzerland, and as a Lecturer at Politecnico di Milano.
My research interests are mainly in the field of software engineering, system security, and computer science education. I organized the International Workshop on Software Engineering for Secure Systems (from SESS'05 to SESS'11), and I served in several Program Committees (PBit'03, ISSSE'06, ICSOFT 2006-20, AReS 2008-19, OWASP 2008-09 AppSec 2007-08,SREIS'08, OSSCoNF'08, ESSoS 2009-10, STPSA 2009-15, S-Cube 2009-10,2012, ISSRE 2010 Fast Abstracts Track, SSIRI 2011, Eclipse-IT 2011-12, CIIA'13, WID'13, SPRO'15, ICISSP 2015-20, SG-CRC 2016, SENSORNETS 2016-18, DSIR 2017-19, ITiCSE (Associate Program Chair) 2018-20, SIGCSE (Reviewer) 2019, ISSEP 2018, 2019 , Constructionism 2018 ).
I believe it is urgent to change the common misconception of informatics as the mere use of information technologies. Informatics is a science, not dexterity with computers or applications. Thus, I'm one of the founders of ALaDDIn, a group working to spread informatics as a science among the general public, I help in organizing a game-contest for schools called Bebras, and I am the coordinator for the informatics branch of the national Plan for fostering scientific degrees.
I pursued some of my research work by travelling abroad: I visited the Technischen Universität Berlin, collaborating with Gabriele Täntzer, the JAIST in Kanazawa (Japan), working with Ochimizu Koichiro, and the Computing Department of Lancaster University (UK), working with Lynne Blair.
I am a senior member of ACM, I am part of the steering committee of CLUSIT, an Italian association promoting awareness, continuous education, and information sharing about digital security. Moreover, to support the free software community, I joined the Debian Project, currently as an emeritus developer.
On January 2001 I completed the Ph.D. program in Computer and Automation Engineering at Politecnico di Milano, with the thesis “Towards Software Components for Non Functional Aspects”, Carlo Ghezzi was my advisor: this gives me a place into the Software Engineering Academic Genealogy and even into the Mathematics Genealogy Project.
I served in the Italian Army with the rank of second lieutenant (NATO OF-1) in the Cen.Te.Spe.Ri.Ma.T. unit, then based in Treviso: I joined up the Data Transmission team, testing routing protocols for tactical wide area networks.
On June 18th 1996 I got a Laurea degree in Electronic Engineering (with special education in Computer Science), thanks to the graduation thesis: “Omissys: Managing Temporal Information in Multi-model Diagnosis”. My work (joint with Sergio Novelli) was tutored by Andrea Bonarini and Piera Sassaroli within the Project of Artificial Intelligence and Robotics developed by the Dept. of Electronics and Information. In 1997 I obtained the qualification for working as a professional Engineer.
I was born in Milan (Italy) in 1970.
debugging microservices Petri_nets cs_popularization virtualization malware open_source information_systems graph_grammars expert_systems requirements_eng sw_evolution impact_change_analysis cloud_computing algebraic_specifications peer-to-peer os_dev artificial_intelligence mobile_computing remote_sw_protection sw_specification sw_eng web_apps aop e-learning game_theory specification_inference vulnerability_assessment intrusion_detection wireless_sensor_networks computer_forensics performance_evaluation model_checking configuration_mgtm extreme_programming security trusted_computing cs_education risk_assessment