3 papers
quant-ph2026
Architecting Instruction Execution for Scalable Fault-Tolerant Quantum Computing
Dmitry Filippov, Justin Hogaboam, Mathias Soeken +3
Scaling fault-tolerant quantum computing (FTQC) requires orchestrating millions of operations continuously across a tightly coupled classical-quantum control stack. A critical chal…
quant-ph2025
Architecting Distributed Quantum Computers: Design Insights from Resource Estimation
Dmitry Filippov, Peter Yang, Prakash Murali
In the emerging field of Fault Tolerant Quantum Computation (FTQC), resource estimation is an important tool for quantitatively comparing prospective architectures, identifying har…
cs.LO2023
Canonicity and Computability in Homotopy Type Theory
Dmitry Filippov
This dissertation gives an overview of Martin Lof's dependant type theory, focusing on its computational content and addressing a question of possibility of fully canonical and com…