Chris Pattison
@chris-pattison.bsky.social
PhD student interested in quantum error correction and quantum fault-tolerance
Alexander Meiburg has been working on formal verification of results in quantum information. It's exciting to see a growing library of tools for formal proofs in QI github.com/Timeroot/Lea...
GitHub - Timeroot/Lean-QuantumInfo: Quantum information theory in Lean 4
Quantum information theory in Lean 4. Contribute to Timeroot/Lean-QuantumInfo development by creating an account on GitHub.
github.com
July 30, 2025 at 4:13 PM
Alexander Meiburg has been working on formal verification of results in quantum information. It's exciting to see a growing library of tools for formal proofs in QI github.com/Timeroot/Lea...
Happy to share that some previous work with @krishnanirudh.bsky.social and @preskill.bsky.social that we call hierarchical codes (2303.04798) was recently published in Quantum! 1/9
May 9, 2025 at 8:20 PM
Happy to share that some previous work with @krishnanirudh.bsky.social and @preskill.bsky.social that we call hierarchical codes (2303.04798) was recently published in Quantum! 1/9
@quantumearl.bsky.social seeking bids for QEC26! QEC is exploding, so there’s a good case to move to an annual conference format
April 23, 2025 at 7:07 AM
@quantumearl.bsky.social seeking bids for QEC26! QEC is exploding, so there’s a good case to move to an annual conference format
I suddenly regret not doing this
my coauthors and I are about to release a 90-page paper. Should we indicate, as others often do on quant-ph, that this is actually a 10 page + 80 pages paper? It could be helpful to our readers to know this, right?
March 28, 2025 at 5:42 AM
I suddenly regret not doing this
Oftentimes, one might write a paper that relies on a bunch (~5-10 pages) of definitions from a different paper. At what point do you say the equivalent of "import otherPaper.definitions"? If it's your own paper, then presumably the original definitions were best?
March 26, 2025 at 6:29 PM
Oftentimes, one might write a paper that relies on a bunch (~5-10 pages) of definitions from a different paper. At what point do you say the equivalent of "import otherPaper.definitions"? If it's your own paper, then presumably the original definitions were best?
I wonder if the early pioneers of classical fault-tolerance ever imagined where the field might go ieeexplore.ieee.org/document/677...
Reliable information storage in memories designed from unreliable components
This is the first of two papers which consider the theoretical capabilities of computing systems designed from unreliable components. This paper discusses the capabilities of memories; the second pape...
ieeexplore.ieee.org
March 17, 2025 at 5:32 PM
I wonder if the early pioneers of classical fault-tolerance ever imagined where the field might go ieeexplore.ieee.org/document/677...
Happy QIP tutorials day
February 22, 2025 at 4:56 PM
Happy QIP tutorials day
Perhaps we should specify minimum margins and font size in conference submissions and automatically reject non-conformant submissions?
January 29, 2025 at 9:07 PM
Perhaps we should specify minimum margins and font size in conference submissions and automatically reject non-conformant submissions?
What is a quantum circuit to you?
December 17, 2024 at 5:26 AM
What is a quantum circuit to you?
Also +1, I use it a fair bit now for slides. It's a bit rough in the sense that there's a much smaller body of stack exchange posts for whatever cursed thing you'd like to do, but there's less surprises in the language due to clean separation of code/content
learned that overleaf is down today, so a good chance to advertise typst.app
it's a "new latex" if you will. once you go typst, writing latex (and using overleaf) will feel like ancient technology, so use with caution
(in particular if you still depend on latex submissions to journals 😬)
it's a "new latex" if you will. once you go typst, writing latex (and using overleaf) will feel like ancient technology, so use with caution
(in particular if you still depend on latex submissions to journals 😬)
Typst: Compose papers faster
Focus on your text and let Typst take care of layout and formatting. Sign up now and speed up your writing process.
typst.app
December 3, 2024 at 7:47 PM
Also +1, I use it a fair bit now for slides. It's a bit rough in the sense that there's a much smaller body of stack exchange posts for whatever cursed thing you'd like to do, but there's less surprises in the language due to clean separation of code/content
Reposted by Chris Pattison
We're hiring quantum theory faculty at Virginia Tech. This is an open-rank position in the CS or EE department at the new Center in Alexandria, VA, just outside of Washington, DC. This is the first of several new hires at the Center. Come join us (pls RT)!
careers.pageuppeople.com/968/cw/en-us...
careers.pageuppeople.com/968/cw/en-us...
Details | Open Rank Faculty, Quantum Systems | Careers | Division of Human Resources | Virginia Tech
careers.pageuppeople.com
November 26, 2024 at 7:30 PM
We're hiring quantum theory faculty at Virginia Tech. This is an open-rank position in the CS or EE department at the new Center in Alexandria, VA, just outside of Washington, DC. This is the first of several new hires at the Center. Come join us (pls RT)!
careers.pageuppeople.com/968/cw/en-us...
careers.pageuppeople.com/968/cw/en-us...