Stefano M. Nicoletti

PostDoc ResearcherFormal Methods and Tools, University of Twente

• Email
• Google Scholar
• ResearchGate
• ORCID
• LinkedIn
• Twitter

About Me

I am a PostDoc Researcher at the University of Twente, at the Faculty of Electrical Engineering, Mathematics and Computer Science (EEMCS), working on the marriage of historically separated fields of safety and cybersecurity. In particular, I develop logics and model checking algorithms to better reason about risk, as captured by popular formalisms such as fault trees and attack trees.I hold a Bachelor’s Degree in Philosophy from the University of Milan and a Master’s Degree in Philosophy of Information, Theory and Management of Knowledge from the University of Urbino, where I worked extensively on malware and virus detection issues.

Publications

Take a look at my Google Scholar page with my publications in peer-reviewed conference proceedings and journals, as well as in book chapters:

Contact

Reach me via email at
s.m.nicoletti@utwente.nl or drop by my office:

University of Twente
Faculty of Electrical Engineering, Mathematics and Computer Science
Zilverling, Hallenweg 19
Enschede, 7522 NH, The Netherlands