Matthew Sotoudeh

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

Currently working 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

Contact

My permanent email address is matthew@masot.net. If you are considering sending me an email, please do so!

My current academic address is masotoudeh@ucdavis.edu. In Fall 2021 I will begin regularly checking sotoudeh@stanford.edu.

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.

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