Hi! I write software, mostly close to the hardware, and I’m slowly finding my way into research.
I’ve ported a board to the Tock embedded OS, open-sourced ADiJaC and published a paper on drawing random numbers from radio noise. See my Projects and Research. I also spent three years as a university teaching assistant.
Low-level problems are what pull me in, be it embedded applications, compilers or the security of keys. I’ve also gotten my hands dirty with web development, and not only for this page, which has me working on my graphic design skills too.
Professionally, I’ve built real-time networking software and EDA tools at multinational companies. For now, specifics are on my LinkedIn page.
I also keep pages for my hobbies and for the people and causes I support.
We can talk anytime about
- Functional and logic programming
- Electronics
- Hardware description languages
- Nix
- Rust
- Education and teaching
Principles
- Design it right from the beginning.
- This will make your maintenance life easier down the road.
- Hardware doesn’t come for free, use it wisely.
- There is always someone smarter. Find them.
- There is always someone kinder. Work with them.
Disclosure: All opinions I’ve posted on this page, or other pages (e.g. on LinkedIn), are mine. They aren’t tied to any past, present or future employer.