Yao Li

About

Yao Li is an Assistant Professor at Portland State University in the United States. His research interests encompass the realms of functional programming, program verification, and semantics, as evidenced by his recent publications, which include explorations into demand semantics for lazy programming, program adverbs, and Haskell code verification. His work contributes to advancing the understanding of computational models and enhancing the reliability of programming languages.