Short bio
Roberto Guanciale is an associate professor within the Department of Theoretical Computer Science, EECS, KTH since 2015, where he works on system security and formal verification. He received his bachelor’s degree in Computer Science from University of Pisa in 2003, his Master from University of Pisa in 2005, and his Ph.D. from IMT Lucca in 2009. He has been a postdoctoral researcher at KTH (2012 - 2015). His research focuses on Computer Security, in particular on formal verification low level code and design of separation kernels. He also designed methods to analyze coordination of distributed services.
— presenter's bio has been redacted at the date of last given talk