Roberto Guanciale

Roberto Guanciale

Assistant Professor

My research interests include formal modeling and verification of systems. I'm currently involved in verification of machine code and application of secure multiparty computation.

Contact