Dr. Qu received his Ph.D. in Computer Science at Boston University in 2022 under the supervision of Marco Gaboardi, and M.S. in Computer Science at University at Buffalo.  Before he joined Monmouth University as an Assistant Professor in the Computer Science and Software Engineering in 2023, he worked as a research scientist at Meta on security program analysis. Dr. Qu is interested in programming language research including semantics, type systems, proof systems, program analysis. He is also interested in security and deep learning.  

Education

Ph.D Computer Science, Boston University

MS, Computer Science, University of Buffalo

Research Interests

Program Language

Formal Verification

Logics

Deep Learning

Differential Privacy

Program Logic and Analysis

Security, Penetration Testing

Data Analysis

Deep Learning, Transformer

Scholarly Articles

• Ph.D. Dissertation: “Program-based Analysis for Quantitative Properties.” Weihao Qu, Boston University

• Time-Aware Transformer-based Prediction Model for AECOPD. Weihao Qu, Ling Zheng, Haowen Pan, Dongyang Wang. MEDINFO 2025
• Multimodal Injury Risk Prediction in Tennis. Francisco Erramuspe Alvarez, Shobharani Polasa, Weihao Qu, Jay Wang, Ling Zheng. The 5th IEEE International Conference on Human Machine Systems 2025 (IEEE ICHMS ’25)

• Program Analysis for Adaptive Data Analysis. Jiawen Liu, Weihao Qu, Marco Gaboardi, Deepak Garg, Jonathan Ullman. Programming Language Design and Implementation (PLDI 2024)
• Penetration Testing Operating Systems: Exploiting Vulnerabilities. Evan Gardner, Gurmeet Singh, Weihao Qu.  2024 International Conference on Communications, Computing, Cybersecurity, and Informatics (CCCI), Beijing, China, 2024.
• Formalizing Algorithmic Bounds in the Query Model in EasyCrypt. Alley Stoughton, Carol Chen, Marco Gaboardi, Weihao Qu. The International Conference on Interactive Theorem Proving (ITP 2022) 
• Relational cost analysis in a functional-imperative setting. Weihao Qu, Marco Gaboardi, Deepak Garg. Journal of Functional Programming 31 (JFP 2021) 
• Relational cost analysis for functional-imperative programs. Weihao Qu, Marco Gaboardi, Deepak Garg. ACM SIGPLAN International Conference on Functional Programming (ICFP 2019) 
• Bidirectional Type Checking for Relational Properties. Ezgi Cicek, Weihao Qu, Gilles Barthe, Marco Gaboardi, Deepak Garg. Programming Language Design and Implementation (PLDI 2019) 

• A real-time low-complexity fall detection system on the smartphone. Weihao Qu, Feng Lin, Wenyao Xu. IEEE First International Conference on Connected Health: Applications, Systems and Engineering Technologies (CHASE 2016) 
• Evaluation of a low-complexity fall detection algorithm on wearable sensor towards falls and fall-alike activities. Weihao Qu, Feng Lin, Aosen Wang, Wenyao Xu. IEEE Signal Processing in Medicine and Biology Symposium (SPMB 2015)

Forthcoming

• Cybersecurity-education platform cybergla (http://www.cybergla.com) with Gurmeet Singh and Daniel Crawford
• AECOPD regression models using transformer and LNN with Dongyang Wang and George Khalil

Additional Information

In February, 2025 Dr. Qu was awarded a $174,999 grant from the National Science Foundation. NSF 2451348 – CRII:SHF: Precise Formal Verification of General Relational Quantitative Properties with Multiple Arrays