I've been accepted to OPLSS!

This summer, I’ll be attending OPLSS, a summer school in Types, Logic, and Formal Methods, held this summer at the University of Oregon in Eugene. This will be right after PLDI (in South Korea), so you can expect me to be jet-lagged for the first week :)