Dennis Olivetti

I was born in Jesolo but raised in Verona. I obtained my BSc in Computer Science from the University of Bologna, with a thesis in the field of Operating Systems, regarding the remote execution of system calls. My MSc has been achieved also in Bologna, with a thesis that regards Complex Systems, titled “Simulation of a Large Datacenter and its Verification Through Google Trace Data”.
My main interests are in Algorithms, Formal Methods and Security fields.