Alex Hubers

My name is Alex Hubers, and

I am getting a PhD in Computer Science at the University of Iowa, where I’m a member of the Computational Logic Center. I like (functional) programming languages, semantics, and type theory.

My current research interests are in elementary strong functional programming (with Dr. Aaron Stump, Co-Advisor), Mendler-style categorial semantics for recursive types, and extensible data types (with Dr. J. Garrett Morris, Co-Advisor).


My Base64 encoded email is


Here is my github.

Writing & Publications

My Google Scholar and DBLP.

In Programming Languages (PL)

In Human-Robot Interaction (HRI)

Misc. Reports

Teaching Experience