Skip to main content

Oliver Schwarz

Profile picture of Oliver Schwarz

About me

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