about

I am a Ph.D. student at Portland State University under Yao Li.

I am interested in pretty much anything related to formal methods and programming languages. I am currently working on alternative semantics for lazy evaluation.