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 .

Contact

3330 Walnut St Levine 565 Philadelphia, PA 19104-3409

Email: Phone: (215) 573-2580 Availability: calendar

Teaching

• Compilers and Interpreters Spring 2018
• Software Foundations Fall 2017
• Operating Systems H at USTC

Research

• 

  DeepWeb: A formally verified web server

  As part of The Science of Deep Specification, we are aiming to build a web server, formally verify its conformance to HTTP using VST, host it on CertiKOS, and run the entire system on verified RISC-V hardware. We hope to combine verified hardware and software into large-scale systems, with end-to-end guarantee of security and functional correctness.

Publication

Miscellaneous

My name is pronounced as [li˨˩˦ i˥˩ ʂu̯æi̯˥˩] (lee ee shwhy / Ли Ишуай), where Y is silent. Its Korean spelling is 리혁수 [ɾiː çjʌk s͈uː] (ree hyuk soo / Ри Хёксу). Please teach me how to read it in Japanese and Tiếng Việt!
I prefer the initial lys (in lowercase), or liys in case of conflict.

I play music with Penn Wind Ensemble. Please check out the website for our next performance!

Last modified: Thu May 9 2019