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.
As described in our Corporate Privacy Notice and Cookie Policy, we use cookies (including pixels or other similar technologies) on our websites, mobile applications and related products (the “services”). The types of cookies we use are described below.
These are cookies necessary for the services to function and are always active. They are usually only set in response to actions made by the user which amount to a request for services, such as setting privacy preferences, logging in, or filling in forms.
These cookies enable the services to provide enhanced functionality and personalization. They may be set by us or by third party providers we use to provide the services. If you do not allow these cookies to run, then the services may not function properly.
These cookies may be set through the services by our advertising partners to learn about your interests and present you with relevant advertisements on other sites. These advertising partners may be able to identify you based on your device or other online activity.
