UC Berkeley Professor and TerraSwarm PI receives IEEE Fellow distinction

On November 28th, the Institute of Electrical and Electronics Engineers (IEEE) named Terraswarm PI and UC Berkeley professor Sanjit Seshia as a newly elevated Fellow, a prestigious honor within the technical community. Professor Seshia was selected for contributions to formal methods for inductive synthesis and algorithmic verification.

The IEEE Fellow distinction is reserved for select members who have a remarkable record of accomplishments in any of the IEEE fields of interest. More about this notable distinction in INDIAWEST.