ChiQP-Lab


The Chicago Quantum and Programming (Languages) Lab, ChiQP-Lab, at the University of Chicago led by Robert Rand is interested in all aspects of programming and verification for quantum computation.

News

Group Website
ChiQP-Lab now has a website.
Last updated on Mar 6, 2022 1 min read

Recent Publications

Emilio Jesús Gallego Arias, Bhakti Shah (2024). Integrating Dependency Building with Document Checking in Coq. The Tenth International Workshop on Coq for Programming Languages (CoqPL 2024).

PDF

Bhakti Shah (2024). A Lean Formalization of Cedar. Principles of Programming Languages (POPL 2024): Student Research Competition Poster.

PDF Poster

Bhakti Shah (2023). Visualizing Graphical Proofs in Coq. International Conference on Functional Programming (ICFP 2023): Student Research Competition Poster.

PDF Poster

Kartik Singhal, Sarah Marshall, Kesha Hietala, Robert Rand (2022). Q# as a Quantum Algorithmic Language. 19th International Conference on Quantum Physics and Logic 2022.

Cite URL

See all publications