π¨βπ» 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.