Matthew Sotoudeh

email me

PhD student at Stanford University

really, email me

Bachelor's degree from the University of California, Davis with majors in Mathematics and Computer Science

email me

I am fortunate to have been advised at various levels of formality by too many people to name, however the list of recent formal advisors is short enough to fit on a webpage:
Prof. Dawson Engler (PhD advisor),
Prof. Aditya Thakur (BS advisor),
Prof. Clark Barrett (PhD rotation advisor),
Dr. Jason Knight (Intel AIPG),
Dr. Sara Baghsorkhi (Intel Labs).

questions? email me

Research & Writings

questions? thoughts? complaints? ideas? email me


Honors & Awards

Teaching & Service


My permanent email address is If you are considering sending me an email, please do so!

None of those accounts are entirely managed by me, so it would be prudent to assume any communications sent to those addresses may be viewed surreptitiously by others. You are encouraged to use my PGP Key if this concerns you.

really really, email me !


You can find a part of my calendar here, and a small wiki here.

You can find a variety of projects on my git lair and GitHub profile, ranging from add-ons for Google Docs to transpilers. (NOTE: Lair will be down for maitnenance for most of 2/14/23--2/17/23.)

I used to collect a list of interesting proofs.

In 2017 I taught a one-week course on programming for middle schoolers in the Bay Area. Most of the curriculum for that course, including presentations, lesson outlines, projects, and retrospective comments are available here.

This website was last updated on 2/14/2023.