Matthew Weidner

CMU (current, PhD in CS)
Cambridge ('19, MPhil in CS)
Caltech ('18, BS in Math)

I am a computer science PhD student at CMU, advised by Heather Miller. I am supported by an NDSEG Fellowship sponsored by the US Office of Naval Research.

My current research focuses on tools for building decentralized systems, including conflict-free replicated data types and secure group messaging protocols. Previously, I studied error-correcting code algorithms and algebraic number theory.


RSS Feed

Open-Source Software


Research Papers

Work in Progress

Verify proofs before trusting!

Math is Fun?

Here is a list of math jokes, compiled by Laura Shou.
Here is a packet of "fun" math problems, compiled from various sources by a group including William Hoza, Laura Shou, Jalex Stark, Michael Wheeler, and myself. They are designed to be printed double sided and cut in two, so that each problem has a link to its "answer" on the back.


Matthew Weidner • PhD student at CMU CSD • • @MatthewWeidner3