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.
Links
Events
| Title | Day | Room | Track | Start | End |
|---|---|---|---|---|---|
| Spunky: a Genode Kernel in Ada/SPARK | Saturday | AW1.125 | Ada | 15:30 | 15:50 |