The Stabilizer FormalismCovers the stabilizer formalism, Shor's code, syndromes, and error correction in quantum computing.
Radiation Hard MicroelectronicsExplores radiation-hard microelectronics design, rad-hard ASIC libraries, and mitigation techniques for single-event effects.
Quantum Error CorrectionExplores quantum error correction, redundancy, encoding bits, and fault-tolerant quantum computing techniques.