Romina Mahinpei

Logo


MSE Student @ Princeton CS

View My GitHub Profile

I am a fully-funded Master of Science & Engineering (MSE) student at Princeton University’s Computer Science Department.

I received a Bachelor’s of Science (BSc) degree in Honours Computer Science along with a Mathematics Minor at the University of British Columbia (UBC). During my undergraduate degree, I had the pleasure of working with the Human-AI Interaction Lab, the Scientific Computing lab, and the Systopia lab at UBC’s Computer Science Department. As part of my MSE degree, I am currently working with the Humans and Machines lab directed by Dr. Manoel Horta Ribeiro.

My experiences span human-computer interaction (HCI), artificial intelligence (AI), applied machine learning, and systems research. My current research interests are in human-centred AI, computational social science, and social computing.

Email | CV | LinkedIn | OrcID | Google Scholar


Projects

Interactive Theorem Provers (ITPs) for Proof Education [Paper] [Code]
HCI Badge Systems Badge

An Emergent Bottom-Up Categorization of Students’ LLMs Usage in an Undergraduate Research Course [Paper]
HCI Badge ML Badge

Provenance Design and Evolution in a Production ML Library [Poster] [Code] [Tutorial]
HCI Badge ML Badge Systems Badge

A Generalized Framework for Describing Question Randomization [Paper] [Poster] [Code] [Video]
HCI Badge

Mixed Precision Minimal Residual (MINRES) Method [Paper] [Code]
Systems Badge


Publications

  1. Romina Mahinpei, Manoel Horta Ribeiro, Mae Milano. 2025. Interactive Theorem Provers for Proof Education. [Paper]. In Proceedings of the 2025 ACM SIGPLAN International Symposium on SPLASH-E (SPLASH-E ‘25). DOI: 10.1145/3758317.3759679.
  2. Ivan Orozco Vasquez †, Romina Mahinpei †, Noureddine Elouazizi, Cristina Conati. 2025. An Emergent Bottom-Up Categorization of Students’ LLMs Usage in an Undergraduate Research Course. [Paper]. Artificial Intelligence in Education (AIED 2025). Lecture Notes in Computer Science, Volume 15881. DOI: 10.1007/978-3-031-98462-4_17.
  3. Adam Craig Pocock, Joseph Wonsil, Romina Mahinpei, Jack Sullivan, Margo Seltzer. 2025. Provenance Design and Evolution in a Production ML Library. [Poster]. Championing Open-source DEvelopment in ML Workshop @ ICML25 (CODEML @ICML 2025). OpenReview: https://openreview.net/forum?id=VrbDf3UDgv.
  4. Romina Mahinpei †, Iris Xu †, Steven Wolfman, and Firas Moosvi. 2025. A Generalized Framework for Describing Question Randomization. [Paper]. In Proceedings of the 2025 ACM Conference on International Computing Education, Volume 1 (ICER 2025). DOI: 10.1145/3702652.3744222.
  5. Romina Mahinpei †, Iris Xu †, Steven Wolfman, and Firas Moosvi. 2024. A Generalized Framework for Describing Question Randomization. [Poster]. In Proceedings of the 55th ACM Technical Symposium on Computer Science Education, Volume 2 (SIGCSE TS 2024). DOI: 10.1145/3626253.3635599.
  6. Romina Mahinpei, Chen Greif. 2024. Mixed Precision MINRES. [Paper]. SIAM Undergraduate Research Online, Volume 17 (SIURO). Society for Industrial and Applied Mathematics. DOI: 10.1137/24s1678489.

† Both authors contributed equally to this work.


Teaching

As a teaching assistant, I’ve had the pleasure of assisting with the following courses: