Brussels / 1 & 2 February 2020


Martin Stein

Photo of Martin Stein

Martin is working at Genode Labs in Dresden (Germany). In the Genode Project, he has been especially involved in the custom microkernel, platform support, networking and testing. Currently his focus is on exploring and promoting the use of Ada and SPARK in the project. Furthermore, he is enthusiastic about Genode Labs' yearly Hack'n'Hike, the FOSDEM, and the Genode Community Summer.



Title Day Room Track Start End
Spunky: a Genode Kernel in Ada/SPARK Saturday AW1.125 Ada 15:30 15:50