Hanwen Guo

Research Interests

Programming Languages, Gradual Typing, Type Systems

Or: How to reduce the friction of adopting strong guarantees by, for example, gradualizing expressive type systems?

Education

Fall 2024 – present

University of Utah
Ph.D. Student in Computer Science
Advisor: Ben Greenman

Fall 2020 – Spring 2024

Wuhan University
B.Eng. in Computer Science

Publications

Programming 10.2

If-T: A Benchmark for Type Narrowing
Hanwen Guo, Ben Greenman
[doi]

ESEC/FSE 2023

Statistical Type Inference for Incomplete Programs
Yaohui Peng, Jing Xie, Qiongling Yang, Hanwen Guo, Qingan Li, Jingling Xue, Mengting Yuan
[doi]
Best Artifact Award

Service

Artifact Evaluation Committee
Programming 11.1

Honors & Awards

ESEC/FSE 2023

Best Artifact Award

Teaching

Fall 2025

Programming Language
Teaching Assistant
University of Utah

Spring 2026

Operating Systems
Teaching Assistant
University of Utah