Research programme exploring durable protection against respiratory viruses by engineering the innate immune system.

Research programme developing precise neural interfaces to study brain circuits and advance treatments for neurological disorders.

Research programme building tools, scientific foundations, and competitions for AI agents to coordinate securely in untrusted environments.

Research programme developing tools to study and edit mitochondrial DNA, enabling investigation of mitochondrial health and disease.

Research programme seeking responsive neural interfaces that reach the brain through natural pathways without brain surgery.

Research programme developing AI-enabled formal verification tools for high-assurance software, control systems, and critical infrastructure.