Stefano M. Nicoletti
Research in logic and formal methods for safety and cybersecurity risk management.
LOGIC & FORMAL METHODS / SAFETY–SECURITY
Reasoning under risk.
I’m Stefano M. Nicoletti, a postdoctoral researcher in Formal Methods & Tools at the University of Twente, where I work in the ERC-funded RUBICON project on formal techniques for safety and cybersecurity risk management. I am also an adjunct professor of Informatics and Computational Thinking at the University of Urbino.
I develop models, logics, and model-checking algorithms for qualitative and quantitative risk reasoning, particularly for fault and attack trees. I also write on computational creativity in music and on what makes mathematical theorems interesting.
Explore my research, publications, teaching, or contact details. Or play!