Builder

Benjamin Lang

Hardware security & formal verification, ETH Zürich MSc · Zurich

Systems programmer based in Zürich, recently finished an MSc in Electrical Engineering and IT at ETH with a research focus on hardware security and formal verification. I work mostly in C, C++ and Go, know my way around x86 and RISC-V assembly, and can write SystemVerilog and VHDL when a problem calls for an FPGA. I run Arch Linux daily and self-host most of my own services. I like working close to the hardware on problems where correctness actually matters.