Andre Kuhlenschmidt is a third-year Computer Science PhD student at Indiana University, Indiana, USA. His research interests lie in programming language theory and implementation. Currently his research focuses on implementation techniques for gradually typed programming languages.