~hanwen >_

Hanwen Guo

PDF Version

guo@hanwen.io

hanwen.guo@utah.edu

GitHub

Google Scholar

ORCID

Research Interests

Gradual Typing, Type Systems, Computer Education

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

Honors & Awards

ESEC/FSE 2023
Best Artifact Award

Teaching

Fall 2025
Programming Language
Teaching Assistant
University of Utah