Victoria Lewis

Super cool grad student
Photo of me!

School of Informatics and Computing
Indiana University, Bloomington
Lindley Hall 315
vialewis (at) indiana.edu
@proof_by

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.