Johannes Kliemann
Johannes Kliemann is security architect at Componolit. He specialized in industrial automation and systems architecture and is interested in formal verification, operating systems development and embedded devices.
Links
Events
| Title | Day | Room | Track | Start | End |
|---|---|---|---|---|---|
| Cappulada: What we've Learned | Saturday | AW1.125 | Ada | 13:00 | 13:20 |
| Gneiss: A Nice Component Framework in SPARK | Sunday | K.4.601 | Microkernels and Component-based OS | 12:00 | 12:25 |