Aravinda P Sistla

Digital Library

ACM Fellows

USA - 2021

citation

For contributions to verifying concurrent programs, probabilistic systems, security and database systems

Press Release