Matthew Sotoudeh

email me

PhD candidate 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).

Beyond my classroom teaching, I have had the opportunity to mentor Sophie Andrews (then Stanford undergraduate, now full-time Apple) whose research on speeding up bounded model checking was recently accepted for publication at DATE 2025.

questions? email me

Conference & Journal Papers

questions? thoughts? complaints? ideas? email me

Other Writings and Posters

Presentations

Honors & Awards

Teaching & Service

For some of the courses I have written day-long lab activites that introduce students to program analysis and automated reasoning in a hands-on activity. You can find most of these in this git repo.

Contact

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

However, I use pretty crude filtering to remove the vast majority of spam I receive. If you are a real human and I have not replied to your email, please do rewrite it to be less spammy and resend it and hopefully I'll get it the next time! If you commonly send spam to mailing lists I subscribe to, your email address itself might be blocked. Please try sending from a different address.

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 !

Other

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.

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 page was last updated on 11/19/2024.