• 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.

Some of my work has involved an extension to Typed Racket which adds support for basic dependent types. You can try it out by downloading Racket here (version >= 6.11).

Email | CV | Github | Twitter | Blog

Select Project Involvement