Robert Rand

Hi everyone! Remember to submit your most exciting new work in Quantum Programming Languages to PLanQC 2025! The deadline is Friday, November 1st (updated)! popl25.sigplan.org/home/planqc-20…

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!

@bhaktishh arXiv preprint: arxiv.org/abs/2404.08163

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

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!

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

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!

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!

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! forms.gle/LgYq1ZZ3apcEzG…

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! #Call-for-Submissions" target="_blank" rel="nofollow noopener">popl24.sigplan.org/home/planqc-20…

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! cs.uchicago.edu/news/uchicago-…

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

Personal update: I am excited to join the University of Chicago @UChicago @UChicagoCS @DSI_UChicago as an Assistant Professor starting in Summer 2024! Looking forward to what’s to come!

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.

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! pnas.org/doi/10.1073/pn…

Great blog post by @k4rtik on the @MSFTQuantum Q# blog about λQ#, our effort to formalize Q#! devblogs.microsoft.com/qsharp/%ce%bb-…

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!

I'm honored to receive the AFOSR Young Investigator award to study the formal verification of quantum graphical calculi like the ZX-calculus! afrl.af.mil/News/Article-D…

@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.)

Pleased to share our upcoming POPL'23 paper on Qunity, a unified language for quantum and classical computing. arxiv.org/pdf/2204.12384… Incredible work by grad student Finn Voichick, supported by Liyi Li, @certifiablyrand, and myself.

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