Harry Y. H. Li | 李裕康

GPA: 4.215/4.300
Class Rank: 1/170

GPA: 4.00/4.00

COMP 4981H · Project LP4. Advised by Prof. Lionel Parreaux.

I'm exploring flow analysis for program optimization in MLscript. My current focus is tracking effects and mutable accesses so that optimizations preserve program behavior.

I work on the project PopPy at the University of Pennsylvania with Prof. Osbert Bastani and Dr. Stephen Mell, extending Opportunistically Parallel Lambda Calculus (Opal). I joined the collaboration in Spring 2026 and also took part in a summer research internship.

I extended Opal with control-flow constructs (early-return, break, and continue) by formalizing their syntax and semantics in the Bezoar intermediate language and designing a source-to-source compilation from "Bezoar with control-flow" to core Bezoar.

I'm currently working on designing and implementing mutation support for PopPy, with the broader goal of supporting arbitrary side-effects. The plan includes control-flow analysis and connects with my thesis on flow-based program optimization.

Advised by Prof. Lionel Parreaux, I worked on MLscript, our lab's programming language and compiler:

• Module system: worked on a minimal module system to support ad hoc polymorphism and explored a type-theoretic formalization.
• Type classes: implemented module-based type classes, keeping compilation separate from type checking and inference.
• Resolution pass: developed a compiler pass to resolve references, selections, and applications without type checking, supporting modules and type classes.
• Control-flow analysis: explored how values flow through a program, with the longer-term goal of relaxing module restrictions and supporting ad hoc polymorphism.

I was advised by Prof. Yangqiu Song and PhD candidate Zihao Wang. I studied a postgraduate course about graph machine learning, graph neural networks, and knowledge graphs. I participated in a research project about logic reasoning over knowledge graphs, where I gained hands-on experience in the research field.

Advised by Prof. Desmond Tsoi. The system serves COMP 1023, COMP 2011, COMP 2012, and COMP 2211, with over 2,000 active users.

• Built student and instructor workflows for class swaps, absences, and assignment deadline extensions.
• Designed the application with TypeScript, Zod, tRPC, MongoDB, and React/Next.js.

Project repository.

Co-advised by Prof. Desmond Tsoi and Prof. Mei Yi Angel Lin at the Education University of Hong Kong.

• Developed an app that uses multimodal language models to help learners practice English and assess their language skills.
• Supported Mandarin- and Cantonese-speaking learners with translation assistance during English conversations.

As Main TA for COMP 1023, I teach the course's tutorial sections. In other UGTA roles, I help deliver tutorials and labs, prepare course materials, and answer students' questions. My winter and summer appointments focus primarily on preparing assignments, tutorial notes, lecture notes, and self-tests.

• COMP 1023 - Introduction to Python Programming
  Course coordinator: Prof. Desmond Tsoi.
  Main TA: Fall 2026, Fall 2025; UGTA: Summer 2025, Summer 2024.
• COMP 2011 - C++ Programming
  Course coordinator: Prof. Brian Mak.
  UGTA: Spring 2025, Winter 2025, Spring 2024.
• COMP 2012 - Object-Oriented Programming and Data Structures
  Course coordinator: Prof. Brian Mak.
  UGTA: Winter 2026, Fall 2024.

• Built computer-vision tools to automate traffic-data processing and analysis.
• Integrated the results with GIS software for visualization and spatial analysis.
• Analyzed traffic patterns and improved the team's data-processing workflows.

USThing is a student-run app for HKUST. I led the backend and app teams within the 26-member organization.

I led a rewrite from June to August 2024 to bring an unmaintained backend and its dependent features back into service.

• Rebuilt the backend around containerized microservices and migrated separate native Android/iOS applications to React Native.
• Used TypeScript types and OpenAPI contracts to keep the frontend and backend interfaces consistent.
• Coordinated development across both teams and improved CI/CD and release workflows.

The app later recorded 15,000 active users over a 90-day period and up to 5,000 daily active users.

Serving on the ICFP 2026 Artifact Evaluation Committee (co-chaired by Son Ho and Prof. Lionel Parreaux), reviewing artifacts submitted to the International Conference on Functional Programming.

Led by Prof. Cindy Li to join a team leading the AI Literacy Initiative targeting Year 1 students. I will lead two workshops in my areas of expertise and support several others, covering fun and practical AI topics for students' study and daily life.

Attended the Oregon Programming Languages Summer School (OPLSS), a two-week intensive program on programming language theory. The topic was Types, Proofs, and Program Logics.