hughshine / nkutms-yii2 Goto Github PK

Hi there 👋 Blessing on your day.

I'm Xuyang Li, currently a postgraduate student majoring in computer science at Nanjing University. Feel free to chat with me at xuyang.li at smail dot nju dot edu dot cn!

I research on formal methods and software engineering techiques. I'm also interested in humanity (cultural aspects) and human-computer interface, creating functional and immersive softwares (or say, "art", :D) to support, expand and enrich human's perceptions and experiences within this universe.

For former projects, I've worked on verified compilation (see CompCert) and polyhedral compilation (see Pluto). I also know something about relaxed concurrency (see compiler verification on Promising Semantics). I mechanize proofs with Coq proof assistant.

If you're interested, just drop by my homepage!

2023.10.11