Menu
Committed to doing things the right way, even coding. When I am not repeatedly correcting my own coding style, I write code for my research work in both systems and data science. I particularly care about being able to reason about the correctness of a piece of code.
