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

Contact

My current email address is masotoudeh@ucdavis.edu. My permanent email address is matthew@masot.net.

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.

Other

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, projcets, 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.