Wei Qiang 强巍

second year Phd CS Student at Columbia

self.png

Contact

wei.qiang at cs dot columbia dot edu

CV (PDF)

Me

I am currently a second year Phd student studying Computer Science at Columbia. I earned my Bachelor’s degree in Computer Science and Mathematics at University of Washington.

I have broad interests on Computer Science and Mathematics. Particularly, I am interested in programming languages, formal verification, and systems. I am currently advised by Prof.Ronghui Gu, and work closely with Prof. Jason Nieh.

Aside from academics, I am interested in movies, food, musicals, and cooking.

If you are undergrad or master students looking for research of programming languages and verifications with me and my advisor, please contact me.

TAed

News

Aug 7, 2026 Our paper QSymb is accepted at OOPSLA 2026! :tada:
Mar 1, 2026 Our paper Spoq2 is accepted at ASPLOS 2026! :tada:
Jul 1, 2023 Our paper Spoq is accepted at OSDI 2023! :tada:

Selected publications

  1. OOPSLA 2026
    Synthesis of Compact and Expressive Quantum-Circuit Optimizations
    Wei Qiang, and Ronghui Gu
    In Proceedings of the ACM on Programming Languages (OOPSLA 2026), 2026
  2. ASPLOS 2026
    Spoq2: Highly Automated Verification of Security Properties for Unmodified System Software
    Ganxiang Yang*, Wei Qiang*, Yi Rong*, and 4 more authors
    In Proceedings of the 31st International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2026), Mar 2026
    Best Paper Honorable Mention
    *: contributed equally.
    HTML PDF
  3. OSDI 2023
    Spoq: Scaling Machine-Checkable Systems Verification in Coq
    Xupeng Li, Xuheng Li, Wei Qiang, and 2 more authors
    In 17th USENIX Symposium on Operating Systems Design and Implementation (OSDI 23), Jul 2023
    PDF