Hi! I’m a Computer Scientist at Kestrel Institute, working on projects related to formal verification. Before that, I was doing similar research at the University of Kansas while pursuing my Master’s degree. My interests broadly include formal methods, functional programming, and type theory.