I am currently working for RISC Zero on a ZK circuit compiler. Prior to that: - tensor compiler for inference acceleration (plaidml) - static analysis tools (

I am currently working for RISC Zero on a ZK circuit compiler. Prior to that: - tensor compiler for inference acceleration (plaidml) - static analysis tools (coverity) - photo manager app, specifically an ML-based self-organization system which never shipped (mylio) - scripting language for internal streaming computation pipeline (google) - various embedded firmware projects at a product development contractor Before that, I spent many years working on compilers and related tools.