Weihao Qu

• Assistant Professor

---

Department: Computer Science and Software Engineering

Office: James and Marlene Howard Hall 227

Phone: 732-263-5396

Email: wqu@monmouth.edu

View Weihao Qu

---

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

• 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)