Guest lecture on 5/12/2018, 10:00-11:30 in 13-305 on ¨Hypervisor (PikeOS) for high-assurance systems¨ by Dr. Andrea Bastoni, Sysgo GMBH, Germany.