Eashan Hatti

Hello! My name is Eashan Hatti, and I’m currently a CS undergrad at Yale University. I’m primarily interested in PL, particularly semantics and formal verification. You can reach me at <first>.<last>@yale.edu.

Blogposts:

• You Could Have Invented Normalization-by-Evaluation