Li, Yishuai

Doctoral student
Department of Computer and Information Science
University of Pennsylvania

I am a member of the Programming Languages Research at Penn.

Here is my CV.


PGP Public Key: 7E323125

Phone: (267) 815-7983


I am interested in formal methods and software verification. I hope to explore theories and techniques to specify and verify full functional correctness of computing systems.

Current Project

Past Projects


You can pronounce my name as E sh-Y, where the capital letters are pronounced as in the English alphabet. The IPA form of my name is [li˨˩˦ i˥˩ ʂu̯æi̯˥˩] (Chinese) or [ɾiː çjʌk s͈uː] (Korean).

Last modified: Fri Jun 9 2017