Robert Rand

Quantum PL prof at UChicago. Trying to stick to academic content.

(This place is dangerous. Please be generous and kind.)

[PLanQC @planqc_conf]

Hi everyone!

Remember to submit your most exciting new work in Quantum Programming Languages to PLanQC 2025!

The deadline is Friday, November 1st (updated)!

https://t.co/NjgXxjL4oG

[Robert Rand @certifiablyrand]

Congratulations to Adrian Lehmann, Ben Caldwell, and Bhakti Shah on "VyZX: Formal Verification of a Graphical Quantum Language with Automated Structural Rewrites" being accepted for a talk at Quantum Physics and Logic 2024!

[Robert Rand @certifiablyrand]

@bhaktishh arXiv preprint: https://t.co/W95SO5fRRq

[Robert Rand @certifiablyrand]

Congratulations to @bhaktishh, William Spencer, Laura Zielinski, Ben Caldwell, and Adrian Lehmann on "ViCAR: Visualizing Categories with Automated Rewriting in Coq" being accepted to Applied Category Theory 2024!

[Robert Rand @certifiablyrand]

@bhaktishh Bhakti, William and Laura are all undergraduates, and I'm super impressed with the work they did!

[Robert Rand @certifiablyrand]

@pschuprikov This is our first foray into verifying quantum networks, and I'm excited!

[Robert Rand @certifiablyrand]

Congratulations to my collaborators Anita Buckley, @pschuprikov, Rodrigo Otoni, Robert Soule, and Patrick Eugster on having "An Algebraic Language for Specifying Quantum Networks" (BellKAT) accepted to PLDI 2024!

[PLanQC @planqc_conf]

A successful PLanQC 2024, full of great talks about cutting-edge advanced in quantum programming!

Thanks to everyone who attended, submitted abstracts, and presented their work!

See you in 2025!

[PLanQC @planqc_conf]

Thanks to our generous sponsors, we have some funding available for students who want to attend PLanQC 2024!

If you're interested, please fill in the form ASAP!

https://t.co/ukkDXbdrR0

[PLanQC @planqc_conf]

PLanQC 2024 will be colocated with POPL 2024!

Submission deadline is November 3rd!

We're looking forward to your submissions and to seeing you in London!

https://t.co/ZljhV6O4JA

[Robert Rand @certifiablyrand]

We didn't anticipate that all nine of these absolute superstars would accept our offer, but we are not complaining.

Welcome, Grant Ho, William Hoza, Bo Li, Ari Holtzman, Haotian Jiang, Mina Lee, Tian Li, Kexin Pei, and Ce Zhang!

https://t.co/teoPdV4qvR

[Robert Rand @certifiablyrand]

@litian0331 @UChicagoCS @UChicago @DSI_UChicago Welcome, Tian!

[Robert Rand @certifiablyrand]

A $100 million investment to build a 100,000 qubit supercomputer from IBM and $50 million from Google to train a quantum workforce.

Both in collaboration with the University of Tokyo.

[The University of Chicago @UChicago]

New partnerships with UChicago, @IBM, @Google and @UTokyo_News_en will bring together global leaders to enable the next generation of high-performance quantum computing and support research and workforce development. Learn more: https://t.co/SJAy4M9rQB

[Robert Rand @certifiablyrand]

Hot off the press!

"A Formally Certified End-to-End Implementation of Shor's Factorization Algorithm" in the Proceedings of the National Academy of Sciences!

Kudos to my collaborators: Yuxiang, Kesha, Runzhou, Liyi, Mike and Xiaodi!

https://t.co/jEsuekNAmQ

[Mike Hicks @michael_w_hicks]

And now, appearing in PNAS! "A Formally Certified End-to-End Implementation of Shor's Factorization Algorithm". CC @xiaodiwu @certifiablyrand

https://t.co/QF2TIAm9C9

[Robert Rand @certifiablyrand]

Great blog post by @k4rtik on the @MSFTQuantum Q# blog about λQ#, our effort to formalize Q#!

https://t.co/ixznPk91V5

[Robert Rand @certifiablyrand]

I first got into quantum due to the AFOSR's enormously successful Multi University Research Initiative "Semantics, Formal Reasoning, and Tool Support for Quantum Programming" (led by the great Mike Mislove), so I'm especially grateful for their continued support!

[Robert Rand @certifiablyrand]

I'm honored to receive the AFOSR Young Investigator award to study the formal verification of quantum graphical calculi like the ZX-calculus!

https://t.co/O5I2D0c88e

[Robert Rand @certifiablyrand]

@lastland0 @TaliaRinger @calebstanford4 @mcoblenz @andrewkhirsch @LeoLambro @xnningxie That would be nice! I'd lean towards POPL or PLDI though, because they're bigger and more people are likely to be able to make it.

(Also, I'm not sure it needs to be a formal workshop or go through the workshop approval process.)

[Mike Hicks @michael_w_hicks]

Pleased to share our upcoming POPL'23 paper on Qunity, a unified language for quantum and classical computing. https://t.co/cQkzazVSMy

Incredible work by grad student Finn Voichick, supported by Liyi Li, @certifiablyrand, and myself.

[Robert Rand @certifiablyrand]

Who teaches a good Types and Programming Languages course? I'm looking for inspiration!