- Andrew M. Kent
- PhD Candidate
- Department of Computer Science
- Indiana University
I'm a researcher and instructor at Indiana University advised by Sam Tobin-Hochstadt.
My research interests revolve around programming languages and software engineering; in particular I frequently look for ways to leverage types, type theory, and formal verification techniques to build more robust systems.Email | CV | Github | Twitter | Blog