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
YWh1YmVyc0B1aW93YS5lZHU=
Here is my github.
Writing & Publications
My Google
Scholar and DBLP.
In Programming Languages (PL)
- 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
Misc. Reports
Teaching Experience
- 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.