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.

Research Agenda

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.

Contact

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.

Code

Here is my github.

Writing & Publications

My Google Scholar and DBLP.

In Programming Languages (PL)

• 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

In Human-Robot Interaction (HRI)

• 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

Technical Reports

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

Teaching

Courses Taught & Assisted

• 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.