Cheng Zhang
czhang03@mathstodon.xyz
<p>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.</p><p>sloppier than slop, vibier than vibe.</p><p>"We have killed epsilon with a dagger, the delta is next."</p><p>"I cannot Grothendick construction under these conditions."</p>
Posts
-
Post #3002102
I wonder if people have some experience, advise, and suggestions on keeping research journals. A &quot;human trace&quot; where I record the dead ends, counter examples, and the intuition behind these counter examples; so that I don&#39;t repeat my mistakes (I have been doing that a lot), and hopefully share that with the world. The main questions are - what is the best format to keep my notes concise, organized, and accessible. - In the beginning of the project, when there are to...
-
Post #2099975
I think there needs to be a category of PL works named &quot;SMT and prayers&quot;.