Weihao Qu, Ph.D., assistant professor in the Department of Computer Science and Software Engineering, has been awarded a $174,999 grant from the National Science Foundation (NSF). This grant will fund Qu’s research project titled “Precise Formal Verification of General Relational Quantitative Properties with Mutable Arrays.”
Qu’s research focuses on enhancing the security, efficiency, and reliability of software systems through advanced program analysis techniques. By addressing critical gaps in how mutable arrays are analyzed, his work will create tools to ensure software correctness, protect sensitive data, and optimize program performance. The project integrates cutting-edge theoretical advancements with practical applications, directly benefiting real-world software development.
“This grant reflects the exceptional caliber of research taking place at Monmouth University and the significant contributions of our faculty to the fields of computing and information sciences,” said Monmouth University President Patrick F. Leahy.
Qu, who joined Monmouth in 2023, holds a Ph.D. in Computer Science from Boston University and previously worked as a research scientist at Meta. He has a background in programming languages, formal verification, and security.
The NSF funding will also support student training opportunities in formal verification research, providing both undergraduate and graduate students at Monmouth with hands-on experience. Research findings will be integrated into Qu’s courses, enriching the curriculum and fostering a new generation of computing professionals.