Brussels / 1 & 2 February 2020


Johannes Kliemann

Photo of 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.



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