permalink; title:” About me” excerpt:”About me: author_profile:true redirect_from:
- /about/
- /about.html About Me ====== My research lies generally in the area of software systems, with a focus on building reliable software systems and exploiting learning based techniques and formal methods to design and verify software systems.The ultimate goal of my research is to improve the reliability, availability and scalability of software defined systems
News
- 12/2022: Our project on “ePrism: Enabling External Security Monitoring for Resource-Constrained IoT” has been funded by Oakland University URC.