Cheng Zhang
I enjoy algebra, coalgebra, and fixpoints (and I wish I am better at it). Assistant professor at Worcester Polytechnic Institute (WPI) studying programming language semantics and applications in verification, testing, and optimization.
sloppier than slop, vibier than vibe.
"We have killed epsilon with a dagger, the delta is next."
"I cannot Grothendick construction under these conditions."
Pronouns: he/him or they/them
sloppier than slop, vibier than vibe.
"We have killed epsilon with a dagger, the delta is next."
"I cannot Grothendick construction under these conditions."
Pronouns: he/him or they/them
Public Key
npub1ucfl35l5pyknn8j3yhghqjljmllxsmmtjggkuxfpu782nnrfj0wqd8q6qyNIP-05 Address
czhang03_at_mathstodon.xyz@momostr.pinkProfile Code
nprofile1qqswvylc606qjtfenegjt5tsf0edllngda4eyytwrys70r4fe35e8hqprpmhxue69uhhyetvv9ujumt0d4hhxarj9ecxjmntph78ujPublishing to
relay.momostr.pink relay.momostr.pink
Author Public Key
npub1ucfl35l5pyknn8j3yhghqjljmllxsmmtjggkuxfpu782nnrfj0wqd8q6qy