About Me

I am a Research Scientist within I2S at the University of Kansas. My research interests include programming languages, functional programming, formal methods, cyber security, remote attestation, system-level design, software engineering, and the intersection of all these. When I’m not writing software or proving it correct I enjoy podcasts, comedy, sports, and music. Before attending the University of Kansas for graduate school, I studied Mathematics and Computer Science at Emporia State University in Emporia, KS. While in Emporia, I dabbled on the baseball team for a year and a half before discovering formal logic and programming simultaneously–quickly stealing my time and focus away from baseball. I also had the opportunity to take piano and voice lessons at ESU, and sing in the chamber choirs throughout my time both at ESU and here at KU.