Tz-Ching Yu
I'm a PhD student at Verification and Computer Architecture lab. I generally find myself thinking about problems related to verification of hardware designs. In the past, I spent some time working on verifying information-flow properties of processors through model checking and correctness of hardware designs in interactive theorem provers, such as Rocq and Lean.
Outside of research, I like skiing.
