I am a proud member of the Programming Languages Research at Penn.
Here is my CV.
3330 Walnut St
- 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.
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ː].
"Yi" is Weiqi (Go), representing strategy.
"Shuai" is the generalissimo in military and Xiangqi, representing leadership.
I prefer the initial lys, or liys in case of conflict.
I play music with Penn Wind Ensemble. Please check out the website for our next performance!
Last modified: September 2019