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 active research interest is in expressing extensible data types using row types (with Dr. J. Garrett Morris, Co-Advisor). My current work is in expanding the expressivity of System Rω, a higher-order row calculus with label-generic combinators. In laymen’s terms: I am interested in saving programmer time by making statically-typed code more reusable.

I am also very interested in:

- various applications of row type systems, e.g. session types, and algebraic effects & handlers;
- language mechanization in Agda, by way of both shallow embeddings (with denotational semantics) and deep embeddings (with operational semantics);
- using Mendler-style
recursion schemes to enforce
*type-based*termination checking in total languages (e.g. Coq); - and the categorical semantics of (co-)recursive data types, particularly mendler-style recursion schemes.

My Base64 encoded email is

`YWh1YmVyc0B1aW93YS5lZHU=`

Humans can decode it it like this:

`echo YWh1YmVyc0B1aW93YS5lZHU= | base64 --decode`

or by googling “base 64 decoder” and using whatever pops up.

Here is my github.

My Google Scholar and DBLP.

**Generic Programming With Extensible Data Types; Or, Making Ad Hoc Extensible Data Types Less Ad Hoc.**Alex Hubers, J. Garrett Morris.*Proceedings of the 28th ACM SIGPLAN International Conference on Functional Programming (ICFP 23).*PDF & artifact.**A Type-Based Approach to Divide-And-Conquer Recursion in Coq.**Pedro Abreu, Benjamin Delaware, Alex Hubers, Christa Jenkins, J. Garrett Morris, Aaron Stump.*Proceedings of the 50th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 23)*. PDF & artifact.**Partial type constructors in practice.**Apoorv Ingle, Alex Hubers, and J. Garrett Morris. 2022.*Proceedings of the 15th ACM SIGPLAN International Haskell Symposium (Haskell 2022)*. doi

**Sketched floor plans versus SLAM maps: A comparison.**Bowen-Biggs, L., Dazo, S., Zhang, Y., Hubers, A., Rueben, M., Sowell, R. T., Smart, W. D., & Grimm, C. (2016). arxiv:1606.04836**Using Video Manipulation to Protect Privacy in Remote Presence Systems**Hubers, A. et al. (2015).*In: Tapus, A., Andre, E., Martin, JC., Ferland, F., Ammi, M. (eds) Social Robotics (ICSR 2015)*. Lecture Notes in Computer Science(), vol 9388. Springer, Cham. arXiv:1501.03188

- Pure Functional Encodings of the Expression Problem. Qualifying Exam Report (Spring 2022).
- Records, Variants, and Row Types. Comprehensive exam (Fall 2023).

- Fall ’22.
**Teaching Assistant**for CS:3820 - Programming Language Concepts, University of Iowa. - Fall ’21.
**Teaching Assistant**for CS:3820 - Programming Language Concepts, University of Iowa. - Spring ’21.
**Teaching Assistant**for CS:3820 - Programming Language Concepts, University of Iowa. - Fall ’20.
**Co-Instructor**for STA:223 - Introduction to Data Science, Cornell College.