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) |