Professor Zhang's research interests include software engineering, software architecture, formal methods for secure software engineering, formal methods for information assurance and computer security, and programming language theories and paradigms.