Zhouheng Sun
Systems engineer - verification, speedcubing
About
I build systems that find bugs and provide assurance in complex computational systems.
I have verified Apple's M-series CPU and SoC microarchitecture using formal methods and UVM-based simulation. My favorite formal technique remains initial state abstraction.
I am passionate about designing future AI systems that are provably correct and trustworthy.
I speedcube in my spare time. I was ranked top 10 in the world in 3x3 cube and one-handed solving. Here's my all-time favorite official solve.