I am a Post-Doctoral Researcher associated with Cylab at Carnegie Mellon University. My mentor is Dr. Anupam Datta. I received my Ph.D. from the Department of Computer Science at the University of Texas at San Antonio. My Ph.D. advisors were Dr. Jianwei Niu and Dr. William H. Winsborough (deceased). Broadly, my research interest lies in the field of computer security and privacy, specifically, enhancing access control models with the support of obligations and also developing efficient techniques and tools for privacy policy compliance checking. I am particularly interested in using formal verification and runtime monitoring techniques for developing efficient compliance checking algorithms for federal privacy regulations like HIPAA (Health Insurance Portability and Accountability Act) and Gramm-Leach-Bliley Act (GLBA).