photo

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.

Contact

Email: y...@cis.upenn.edu
PGP Public Key: 7E323125

Phone: (267) 815-7983

Research

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

Miscellaneous

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