![seshia-150px](https://eecs.berkeley.edu/wp-content/uploads/2016/05/seshia.jpg)
July 29, 2021
Sanjit Seshia wins Computer-Aided Verification Award
EECS Prof. Sanjit Seshia was a recipient of the CAV Award at the 2021 International Conference on Computer-Aided Verification (CAV) earlier this month. This award is presented annually “for fundamental contributions to the field of Computer-Aided Verification,” and comes with a cash prize of $10K that is shared equally among…