Jianwei Niu, PhD
Professor, Computer Science
Dean of University College
Hispanic Serving Institution Endowed Chair
Contact
Bio
Jianwei Niu is the Dean of University College and a professor of Computer Science at the University of Texas at San Antonio. She received her PhD in Computer Science from the University of Waterloo in 2005. Her research interest is in applying mathematically rigorous specification and verification techniques (formal methods) to improve software dependability. In particular, she has contributed to two problem areas. The first is using rigorous means to design security and privacy policies, authorization decision engines, and enforcement mechanisms. She then applies automated and, where needed, manual techniques to verify properties of policies that heighten assurance that security objectives are accurately captured by the policy specifications. Similarly, she verifies correctness of decision procedures and enforcement mechanisms with respect to the policies they are intended to enforce. Her second research area concerns formalizing the semantics of modeling notations that provide software practitioners the ability to generate specifications that can be verified. The modeling notations she studies are used commonly to describe the dynamic behavior of software systems, including statecharts variants, process algebras, UML state machine diagrams, and UML sequence diagrams. Given that it is difficult to assess the properties of models constructed using notations that either have so many variants with subtle differences or have no precise semantics, she seeks to address this problem by providing formal templates to structure their semantics systematically, thus enabling properties of software models to be formally verified. Her research has been supported by grants from NSF, NHARP, Microsoft, NSA (through CMU subcontract), and UT San Antonio TRAC awards.Teaching
- Data Science
- Software Engineering
- Formal Methods
- Privacy Engineering
Research Interests
- Cybersecurity
- Data science
- Formal methods
- Privacy compliance
- Software engineering
Degrees
- PhD in Computer Science; University of Waterloo
- BS in Computer Science; Jilin University, China
