Matthew Sotoudeh - Research & Publications

I am currently working on a variety of projects with the Davis Automated Reasoning Group.
Previously, I have completed projects as an intern at Intel Labs and Intel Nervana.



Where to next?