I'm a first year(counting from 0) utah phd student, being advised by Pavel Panchekha.
I work at Programming Language and Machine Learning. I am currently working on garbage collection.