Berkeley CS alum wins second place at ACM Student Research Competition

CS alum Amar Shah received second place in the undergraduate category of the 2024 Association for Computing Machinery Student Research Competition (ACM SRC) Grand Finals.

The year-long competition involves 323 computer science students presenting research projects at 21 ACM conferences, culminating in the SRC Grand Finals where three winners are chosen in undergraduate and graduate categories.

Shah’s project, “An Eager SMT Solver for Algebraic Data Type Queries,” was sponsored by the Berkeley Anselm Math and Physical Sciences (MPS) Fund. Shah hopes to attend graduate school and pursue his dream of building formally verifiable software.

Shah graduated in 2023 with a Bachelor’s in Computer Science and Mathematics, advised by EECS Professor Sanjit Seshia and graduate student Federico Mora.