Computing
Computing focuses on the IC's ability to operate freely and effectively in an often hostile and increasingly interdependent and resource-constrained environment. Key research focus areas include information assurance, advanced computing technologies and architectures, quantum information science and technology, and threat detection and mitigation.
Program | Research Area | Program Manager |
C3 |
Advanced/alternative computing technologies, superconducting microelectronics |
HarrodBill Harrod |
HECTOR |
Secure multiparty computation, homomorphic encryption, verifiable computing, compilers, programming languages, automated security analysis |
HeiligmanMark Heiligman |
LogiQ |
Advanced/alternative computing platforms, quantum information sciences, qubit systems |
|
MICrONS |
Theoretical neuroscience, computational neuroscience, machine learning, connectomics, brain activity mapping |
MarkowitzDavid Markowitz |
MIST |
Polymer science, synthetic biology, synthesis technology, sequencing technology, storage controller technology, error-correcting codes |
MarkowitzDavid Markowitz |
QEO |
Quantum annealing, combinatorial optimization, quantum error correction, non-stoquastic quantum interactions, multi-spin entanglement, classical annealing, Quantum Monte Carlo, population annealing, parallel tempering, adaptive annealing schedules with measurement feedback |
|
RAVEN |
Microelectronics, nondestructive analysis, nanoscale imaging, hardware assurance |
HarrodBill Harrod |
SuperCables |
Superconducting electronics, photonics, cryogenics, optical communications |
HarrodBill Harrod |
SuperTools |
Superconducting electronics, advancements/alternatives to semiconductor-based exo-scale computing, cryogenic computing |
HeiligmanMark Heiligman |
VirtUE |
Computer virtualization, operating systems, cyber security, vulnerability analysis, insider threat remediation and detection, active defense, big data analytics, sensor fusion, user interfaces, anomalous event detection |
RahmerRobert Rahmer |
Past Research
Program | Research Area |
CAT |
Cybersecurity and information assurance, hardware assurance, microelectronics |
CSQ |
Advanced/alternative computing platforms, quantum coherence, coherent qubit, quantum information sciences |
MQCO |
Advanced/alternative computing platforms, quantum information sciences, qubit systems |
QCS |
Quantum information sciences |
SPAR |
Secure multiparty computation, private information retrieval, privacy and civil liberties protections |
STONESOUP |
Cybersecurity and information assurance, software assurance, vulnerability detection and mitigation |
TIC |
Cybersecurity and information assurance, hardware assurance, microelectronics |