Weihao Qu

PhD Student

Weihao is a CS PhD student at Boston University’s Department of Computer Science and is advised by Prof. Marco Gaboardi.

His research interest is mainly programming language, especially type system and formal verification. Weihao is also interested in Differential Privacy.


Relational Cost Analysis for Functional-Imperative Programs. With Marco Gaboardi and Deepak Garg. ACM SIGPLAN International Conference on Functional Programming (ICFP), 2019.

Bidirectional Type Checking for Relational Properties. With Ezgi Cicek, Gilles Barthe, Marco Gaboardi and Deepak Garg. Programming Language Design and Implementation (PLDI), 2019.



View all profiles