Gernot Heiser
![Photo of Gernot Heiser](/2019/schedule/speaker/gernot_heiser/5b09c25268a2f7da6dde97c688c03057596f1aea68390a9338faec5d82894484.jpg)
Events
Title | Day | Room | Track | Start | End |
---|---|---|---|---|---|
What's new in the world of seL4 | Sunday | AW1.121 | Microkernels and Component-based OS | 09:00 | 09:45 |
Title | Day | Room | Track | Start | End |
---|---|---|---|---|---|
What's new in the world of seL4 | Sunday | AW1.121 | Microkernels and Component-based OS | 09:00 | 09:45 |