Oliver Schwarz

I am a PhD student at the group for Theoretical Computer Science of the School of Computer Science and Communication at the Royal Institute of Technology. Furthermore I am an employee of SICS Swedish ICT. As part of the collaboration of both I am working on the Formal Verification of a Security Providing Thin Hypervisor for Embedded Systems in the PROSPER project.

PhD student at	TEORETISK DATALOGI (TCS)
E-mail
Telephone	+46 72 2207954