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