about

My name is Puming[p^hu²miŋ²] (刘濮铭/劉濮銘).

I'm a fourth-year undergraduate majoring in Computer Science at New York University Shanghai. I have a general interest in programming languages and logic. Recently, I've been working on formal verification using separation logic.

I'm also vaguely interested in math, esp. in abstract algebra, category theory and proof theory. I'm trying to learn more!

contact

• webpage : ls.liupum.cc (self-reference)
• email : \(puming\cdot liu\ @\ nyu \cdot edu\)
• github : screenl (cyclic-reference)
• mastodon : screen