Laboratory for Machine Cognition & Neural Systems (MCNC Lab)
Investigating deep learning theory, foundational representations, neuro-symbolic reasoning, and verifiable neural architectures on high-performance compute clusters.
Five planning records explore possible work in AI, quantum computing, high-performance systems, formal verification, and computational biology. They do not establish operating laboratories.
Investigating deep learning theory, foundational representations, neuro-symbolic reasoning, and verifiable neural architectures on high-performance compute clusters.
Exploring quantum algorithmic speedups, tensor network simulations, fault-tolerant quantum error correction codes, and hybrid classical-quantum distributed architectures.
Developing exascale workflow infrastructure, immutable provenance tracking, deterministic execution runtimes, and reproducible open science ecosystems.
Creating certified neural network control policies, automated formal verification engines, and provably safe robotic architectures for real-world environments.
Developing geometric deep learning models, single-cell transcriptomic foundations, and privacy-preserving federated algorithms for clinical genomics.