Software engineering, software architecture, formal methods for secure software engineering, formal methods for information assurance and computer security, and programming language theories and paradigms. She has been conducting research in these areas and published research papers in journals and international conferences