I’m a 2nd year PhD Student at Indiana University in Computer Science. I received my BA in Mathematics in 2014 from CSUS after transferring from American River College in 2012.
My main research interests are the the logical foundations of programming languages and computing. I’m also interested in applied logic in PL, including logic of programs and reasoning about concurrent or effectful programs.
I'm currently working on a realizability semantics for Pudding, an in-progress proof assistant that is deeply integrated with the Racket programming language.