Cheng Zhang
I find algebra, coalgebra, and fixpoints very cool. I wish I am better at them. Assistant professor@WPI (Worcester Polytechnic Institute) studying programming language semantics, and its 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
Personal Site: https://czhang03.codeberg.page/
Faculty Page: https://www.wpi.edu/people/faculty/czhang13
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
Personal Site: https://czhang03.codeberg.page/
Faculty Page: https://www.wpi.edu/people/faculty/czhang13
Public Key
npub1ucfl35l5pyknn8j3yhghqjljmllxsmmtjggkuxfpu782nnrfj0wqd8q6qyNIP-05 Address
czhang03_at_mathstodon.xyz@momostr.pinkProfile Code
nprofile1qqswvylc606qjtfenegjt5tsf0edllngda4eyytwrys70r4fe35e8hqprpmhxue69uhhyetvv9ujumt0d4hhxarj9ecxjmntph78ujPublishing to
relay.momostr.pink relay.momostr.pink
Author Public Key
npub1ucfl35l5pyknn8j3yhghqjljmllxsmmtjggkuxfpu782nnrfj0wqd8q6qy