Blogs / Personal blogs

Tyler Hou

tylerhou.com

I am a first-year PhD student at Princeton University in the programming languages group. I apply techniques from programming languages to model and reason about distributed systems. More generally, I am interested in logic & type theory, topology, and language design. My research is generously supported by the Fannie…

Popular posts
1
Total points
335
HN comments
86
Rank
#8,011 personal

Visit tylerhou.com → On Hacker News Mar 2024 – Mar 2024

Databases & Data 1