photo

Li, Yishuai (李弈帥)

Doctoral student since 2016
Department of Computer and Information Science
University of Pennsylvania

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

Here is my CV.

Contact

3330 Walnut St
Levine 565
Philadelphia, PA 19104-3409

Email: y...@cis.upenn.edu
Phone: (215) 573-2580
Availability: calendar

Teaching

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

My name is pronounced as [li˨˩˦ i˥˩ ʂu̯æi̯˥˩] (lee ee shwhy).
I prefer the initial LYS, or LiYS in case of conflict.

Last modified: Mon Jan 15 2018