Natarajan Shankar

Digital Library

ACM Fellows

USA - 2025

citation

For contributions in automated reasoning, mechanized metatheory, formalized mathematics, formal methods, and system assurance.

Press Release