Alex Hubers

I am a doctoral candidate in Computer Science at the University of Iowa, where I’m a member of the Computational Logic Center, advised by Dr. J. Garrett Morris. I like programming languages, type theory, and language mechanization.