Matthew Sotoudeh

A computer science and mathematics student at the University of California, Davis with a passion for mathematics, computer science, and learning.

I am currently working on a variety of problems with the Davis Automated Reasoning Group (DARG). I recently won second place at the Student Research Competition at the International Symposium on Principles of Programming Languages for my work on bounded model checking of deep neural networks, extending our recent NeurIPS paper . See my research & publications for more information.

What are you here for?