|
|
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 the Swedish Institute of Computer Science. As part of the collaboration of both I am working on the Formal Verification of a Security Providing Thin Hypervisor for Embedded Systems.
Contact
| e-mail: | oschwarz@kth.se |
| phone: | +46 72 2207954 |
| fax: | +46 8 751 7230 (indicate me as recipent) |
| postal address: | SICS, Box 1263, SE-164 29 Kista, Sweden |
| visit me at: | SICS, Electrum building, floor B6, Isafjordsgatan 22/Kistagången 16, 164 40 Kista/Stockholm, Sweden, T-bana: Kista |
| SICS webpage: | sics.se/people/oliver |
Current Project
Currently I am working on the Formal Verification of a Security Providing Thin Hypervisor for Embedded Systems.
Supervisors:
Education
- From 2010 on PhD student at the Royal Institute of Technology, KTH, Stockholm, Sweden.
- Diploma thesis written at the Federal Office for Information Security, Bonn, Germany, in 2009.
- Exchange student at the Tampere University of Technology, Finland, in 2006 and 2007.
- Diploma student (combining bachelor and master level) in the field of Computer Science at the Chemnitz University of Technology, Germany, 2003-2010.
|
