https://keys.openpgp.org/vks/v1/by-fingerprint/69EE1A9442F1ABEC0CE191B66432B985A60BF224

Please find here the links to my repos, my contact methods and various postings.

I am most interested in embeded systems, I think the intersection between the hardware and the software is of a particular interest to me; knowing whats going on under the hood.

Specific areas of interest: RTOS (sp: freeRTOS), Kernals (sp: seL4), Concurrent and paralel programming (C, Rust), Compilers / formal language design and type systems

I also offer services for small static sites. Get in touch if you would like a well made site for a good price!