{"id":40802286951,"date":"2025-01-24T12:47:07","date_gmt":"2025-01-24T17:47:07","guid":{"rendered":"https:\/\/www.monmouth.edu\/news\/?p=40802286951"},"modified":"2025-01-30T09:43:52","modified_gmt":"2025-01-30T14:43:52","slug":"prof-qu-awarded-nsf-grant-for-computing-research","status":"publish","type":"post","link":"https:\/\/www.monmouth.edu\/news\/prof-qu-awarded-nsf-grant-for-computing-research\/","title":{"rendered":"Prof. Qu Awarded NSF Grant for Computing Research"},"content":{"rendered":"\n

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 \u201cPrecise Formal Verification of General Relational Quantitative Properties with Mutable Arrays.\u201d<\/p>\n\n\n\n

Qu\u2019s 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.<\/p>\n\n\n\n

\u201cThis 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,\u201d said Monmouth University President Patrick F. Leahy.<\/p>\n\n\n\n

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.<\/p>\n\n\n\n

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\u2019s courses, enriching the curriculum and fostering a new generation of computing professionals.<\/p>\n","protected":false},"excerpt":{"rendered":"

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 \u201cPrecise Formal Verification of General Relational Quantitative Properties with Mutable Arrays.\u201d Qu\u2019s research focuses on enhancing the security, efficiency, and reliability […]<\/p>\n","protected":false},"author":22,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[104,417,444,170],"tags":[4715,3777],"person":[621,5032],"audience":[14,11,8,50],"school":[77,68],"program":[],"class_list":["post-40802286951","post","type-post","status-publish","format-standard","hentry","category-academic-excellence","category-awards-publications-research","category-monmouth-now","category-research","tag-computer-science","tag-school-of-science","person-patrick-leahy","person-weihao-qu","audience-alumni","audience-current-student","audience-faculty","audience-graduate-student","school-computer-science-software-engineering","school-school-of-science"],"squareimage":{"id":40802286955,"rendered":"\"Professor","original":{"url":"https:\/\/www.monmouth.edu\/news\/wp-content\/uploads\/sites\/16\/2025\/01\/Weihao-Qu_20240409_MG_.jpeg","width":950,"height":950}},"_links":{"self":[{"href":"https:\/\/www.monmouth.edu\/news\/wp-json\/wp\/v2\/posts\/40802286951","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.monmouth.edu\/news\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.monmouth.edu\/news\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.monmouth.edu\/news\/wp-json\/wp\/v2\/users\/22"}],"replies":[{"embeddable":true,"href":"https:\/\/www.monmouth.edu\/news\/wp-json\/wp\/v2\/comments?post=40802286951"}],"version-history":[{"count":1,"href":"https:\/\/www.monmouth.edu\/news\/wp-json\/wp\/v2\/posts\/40802286951\/revisions"}],"predecessor-version":[{"id":40802286958,"href":"https:\/\/www.monmouth.edu\/news\/wp-json\/wp\/v2\/posts\/40802286951\/revisions\/40802286958"}],"wp:attachment":[{"href":"https:\/\/www.monmouth.edu\/news\/wp-json\/wp\/v2\/media?parent=40802286951"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.monmouth.edu\/news\/wp-json\/wp\/v2\/categories?post=40802286951"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.monmouth.edu\/news\/wp-json\/wp\/v2\/tags?post=40802286951"},{"taxonomy":"person","embeddable":true,"href":"https:\/\/www.monmouth.edu\/news\/wp-json\/wp\/v2\/person?post=40802286951"},{"taxonomy":"audience","embeddable":true,"href":"https:\/\/www.monmouth.edu\/news\/wp-json\/wp\/v2\/audience?post=40802286951"},{"taxonomy":"school","embeddable":true,"href":"https:\/\/www.monmouth.edu\/news\/wp-json\/wp\/v2\/school?post=40802286951"},{"taxonomy":"program","embeddable":true,"href":"https:\/\/www.monmouth.edu\/news\/wp-json\/wp\/v2\/program?post=40802286951"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}