Matthew Sotoudeh

Studying Mathematics and Computer Science at the University of California, Davis.

Currently working on a variety of problems with the Davis Automated Reasoning Group (DARG).

Research & Publications

Conference Presentations

Honors & Awards


My current email address is My permanent email address is

Neither 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.

My full name is Matthew Ali Sotoudeh, but (as far as I know) there aren't any name collisions with my first/last alone. Hopefully it stays that way!

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.