I am a PhD student currently working on system modeling and timing analyses. Previously, I had been working on a real-time driver/software for robotic skins, which was a continuation of my master thesis. My bachelors had been in Software Engineering.

I am implementing a port of C's stdio to the Linux kernel, called kio.

I am also writing a compiler that reads a language derived from markdown and generates software documentation. I strongly believe DoxyGen and the like use a very bad method (documentation mixed with code). Check out the DocThis! compiler if you are interested (it works, but I still have a lot of features in mind to add to it). Here is a sample output.