Matthew Sotoudeh

Recently graduated from the University of California, Davis with majors in Mathematics (B.S.) and Computer Science (B.S.).

At UC Davis, I worked on a variety of problems with the Davis Automated Reasoning Group (DARG).

Joining as a PhD student in Computer Science at Stanford University in Fall 2021.

Research & Publications

Conference Presentations

Honors & Awards


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

My current academic address is In Fall 2021 I will begin regularly checking

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.


You can find a variety of projects on my GitHub profile, ranging from add-ons for Google Docs to transpilers.

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.

I have a PDF-formatted resume. I also have an account on LinkedIn. However, this website is usually significantly better updated than either of those.