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