MSc Computer Science student at ETH Zürich. Also part of the ChiselVerify project lead by Prof. Martin Schoeberl at the Technical University of Denmark. This project focuses on expanding the verification tool-set of the Chisel Hardware Construction Language with a verification library named chisel-verify. ©