SPLASH 2026
Sat 3 - Fri 9 October 2026 Oakland, California, United States
co-located with SPLASH/ISSTA 2026
SPLASH/ISSTA 2026 (series) / SPLASH 2026 (series) / Haobin Ni
Haobin Ni

Registered user since Tue 17 Jan 2023

Name:Haobin Ni
Bio:

I got my Ph.D. from Cornell University in May 2024, advised by Robbert van Renesse and Greg Morrisett. I am currently a postdoctoral scholar at the Programming Language and Software Engineering (PLSE) group of University of Washington, advised by Zachary Tatlock.

Country:United States
Affiliation:University of Washington
Personal website: https://haobin.cx/
GitHub: https://github.com/FTRobbin
Research interests:Programming Language, Distributed Systems, Formal Verification, Equality Saturation

Contributions

Show activities from other conferences

Using general profile