Meera Sridhar
![](https://cyberdna.charlotte.edu/wp-content/uploads/sites/275/2023/05/SridharM_lo.jpg)
Meera Sridhar
Associate Professor
College of Computing and Informatics
Research areas: program analysis and verification, model-checking, in-lined reference monitoring (binary instrumentation), security policies, language design and analysis, program equivalence, language-based solutions for web, mobile security, and IoT security, program-proof co-development, security for cyber-physical systems