Job Role: Firmware developer with some scripting on the side. C, shell script, Python, ARM/Thumb ASM on occasion. Mostly C. Side project(s): Probabilistic

Job Role: Firmware developer with some scripting on the side. C, shell script, Python, ARM/Thumb ASM on occasion. Mostly C. Side project(s): Probabilistic programming in Haskell and Venture. This involves using Haskell and Python to do most of the coding. Writing a paper involving some information theoretic properties of certain probabilistic programs, which involved translating a bunch of estimators to get them working quickly on larger datasets. Also eventually going to finish formalizing the correctness of my type-inference algorithm in Coq. I eventually want to learn enough of how monad-bayes and Clash work to write a compiler that takes monad-bayes probabilistic programs down to hardware descriptions I can flash onto an FPGA and use it as an accelerator for probprog.