👨💻 I'm a Compiler Engineer, working on LLVM-based Toolchains for RISC-V and other embedded platforms. In the past I worked on toolchains for Arm and AArch64.
🤔 I used to be a programming languages researcher. I worked on Checked C and Idris, as well as other projects and publications.