Stefano M. Nicoletti


PhD CandidateFormal Methods and Tools, University of Twente

About Me

I am a PhD Candidate at the University of Twente, at the Faculty of Electrical Engineering, Mathematics and Computer Science (EEMCS), working in the ERC-funded Project CAESAR with the goal of marrying the historically separated fields of safety and cybersecurity.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, on Twitter @nicoletti_ste, or drop by my office:

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