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