Currently I am learning about SW certification (DO-178C & stuff) and Linux kernel programming. I also want to learn to doing formal checking with SPARK, the subset of Ada suited for formal checking (nothing to do with Apache, despite the name clash)
projects and hacks
Besides my main job in DSP, I am writing a Linux driver, in C (kernel) and in Ada (userland). Why? For the fun of it.
I have also a project ("Terra Bruciata") about promoting the development of correct code (we Ada-ists have a soft spot for correctness :-). If you want to know more, check: