Links to Presentations and Papers are below.

PhD Advisors: Alfred Aho and Joe Traub

My research has concentrated on quantum computation, particularly quantum fault tolerance and quantum error correction. However, my technical interests include the broader fields of data mining, intrusion detection, and classical fault tolerance. In my research, I have developed a fault-tolerant software architecture for quantum computers that maps a high-level program into fault-tolerant machine-level instructions, along with methods and tools to analyze and simulate quantum circuits and determine component failure thresholds. This work represents the first design flow for a quantum computer, and includes the development of a quantum assembly language, QASM, and a suite of tools for its compilation and simulation. In addition, I have investigated various nearest-neighbor quantum computer architectures and developed several fault-tolerance threshold estimation techniques. Threshold estimation is necessary for the engineering and realization of a reliable, scalable quantum computer. Specifically, my research contributions are:

- A layered software architecture for quantum computers. The design flow fault-tolerantly maps a quantum algorithm written in a high-level language to technology-specific instructions for a quantum computer or for use in a quantum simulator.

- A quantum assembly language, QASM, and a toolsuite for its compilation and simulation. QASM allows easy expression of quantum circuits, which with the toolsuite, provides a platform for the evaluation and simulation of fault-tolerant circuit components.

- A semi-analytical analysis of fault-tolerance thresholds for a nearest-neighbor quantum computer. Our fault-tolerance analysis is the first explicit model for a nearest-neighbor architecture (an architecture which requires movement). Our work also corrects previous inaccurate fault-tolerant threshold estimation techniques.

- A new host-based intrusion detection system for Windows registry anomaly detection. We use one-class support vector machines (OCSVMs) to detect anomalous registry behavior in the Windows registry.

For more information on quantum fault tolerance, please see the talks posted at the IBM Workshop on Fault Tolerance (FTQC05) website that I helped organize.

Publications and Presentations:

"Fault-tolerant Quantum Threshold Estimates for a 2D Lattice Architecture". K. Svore, B. Terhal, and and D. DiVincenzo. IBM Research Physics of Information Group Seminar, September 2005.

"Local Fault-tolerant Quantum Computation". K. Svore, B. Terhal, and D. DiVincenzo. Invited Speaker, IBM Workshop on Fault-tolerant Quantum Computation 2005, August 29-30, 2005. slides (ppt)

"Pseudothreshold or Threshold? - More Realistic Threshold Estimates for Fault-tolerant Quantum Computing". K. Svore, A. Cross, I. Chuang, and A. Aho, 2005. Submitted to Quantum Information and Computation. LANL ArXiv: quant-ph/0508176.

"Local Fault-tolerant Quantum Computation". K. Svore, B. Terhal, and D. DiVincenzo. Quantum Information Processes (QIP) 2005, January 13-18, 2005. Phys. Rev. A 72, 022317 (2005). LANL ArXiv: quant-ph/0410047.

"A Comparative Evaluation of Two Algorithms for Windows Registry Anomaly Detection". S. Stolfo, F. Apap, E. Eskin, K. Heller, S. Hershkop, A. Honig, K. Svore. To appear in Journal of Computer Security, 2005. paper (pdf) slides(ppt)

"Compiling Quantum Circuits into Elementary Unitary Operations". K. Svore. In Proceedings of the Grace Hopper Conference for Women in Computing (GHC), Chicago, IL, October, 2004.

"A Logarithmic-Depth Quantum Carry-Lookahead Adder". T. Draper, S. Kutin, E. Rains, and K. Svore. In Proceedings of the ERATO Conference on Quantum Information Sciences (EQIS), Tokyo, Japan, September, 2004. Submitted to Quantum Information and Computation. LANL ArXiv: quant-ph/0406142.

"Toward a Software Architecture for Quantum Computing Design Tools". K. Svore, A. Cross, A. Aho, I. Chuang, and I. Markov. In Proceedings of the Workshop on Quantum Programming Languages (QPL), July 2004. Submitted to IEEE Computer. paper (pdf)

"Quantum Computer Compilers". K. Svore. Massachusetts Institute of Technology Center for Bits and Atoms Seminar, May 2004.

"Compiling Quantum Circuits into Elementary Unitary Operations". K. Svore. Quantum Information Processes (QIP) 2004, January 17-19, 2004.

"One Class Support Vector Machines for Detecting Anomalous Windows Registry Accesses". K. Heller, K. Svore, A. Keromytis, and S. Stolfo. In Proceedings of the ICDM Workshop on Data Mining for Computer Security (DMSEC), Melbourne, Florida, November 19, 2003.

"The Design and Optimization of Quantum Circuits using the Palindrome Transform". A. Aho and K. Svore. In Proceedings of the ERATO Conference on Quantum Information Sciences (EQIS), Kyoto, Japan, September 5-7, 2003. LANL ArXiv: quant-ph/0311008.

"The Current State of Quantum Computer Compilers". K. Svore. Columbia University Theory Group Seminar, September 2003.

"Quantum Circuit Generation". K. Svore. Columbia University Theory Group Seminar, April 2003.