Andrew is a PhD student at Indiana University working with Sam Tobin-Hochstadt, currently exploring the intersection between gradual typing and more advanced type theoretic features.