Sanjit Arunkumar Seshia

Digital Library

ACM Fellows

USA - 2020

citation

For contributions to formal verification, inductive synthesis, and cyber-physical systems

Press Release