[03 Domains]

Research Areas

Our laboratories pursue foundational questions at the intersection of theory, systems, and intelligence. Each domain feeds the others, producing work that is rigorous, reproducible, and relevant.

Abstract blue network lines representing formal logic and verification research

CORE_01

Formal Logic & Verification

Applying mathematical rigor to software design to ensure zero-defect mission-critical systems. Our 2026 work spans proof-carrying code for autonomous fleets, runtime auditing of tool-using language models, and type theory applied to distributed protocols.

Lab Leads

Dr. A. Miller • Prof. L. Chen

Active Projects

Auditable Agent Protocols (IEEE S&P 2026 Distinguished Paper)
Compositional Proof-Carrying Code for Autonomous Fleets
ARC Linkage: Verified Autonomy 2026–2030

CORE_02

Autonomous Robotics

Exploring multi-agent systems and decentralized decision-making in unstructured environments. We build algorithms for coordination, perception, and safe human-robot interaction, now evaluated against verified safety envelopes.

Lab Leads

Dr. S. K. Gupta • Dr. H. Tanaka

Active Projects

Swarm Coordination in Dynamic Grids
Robust Perception for Off-Road Navigation
Safety Envelopes for Human-Robot Teaming

CORE_03

Neural Architecture

Developing biologically-inspired hardware for energy-efficient edge computing and AI. Our analog neuromorphic testbed opened to external collaborators in April 2026 and underpins the centre's spiking-transformer programme.

Lab Leads

Prof. J. Doe • Dr. R. Vance

Active Projects

Energy-Proportional Spiking Transformers (ISCA 2026)
Analog Neuromorphic Testbed — external access programme
Event-Based Vision Sensors for Edge Inference

Interested in collaborating?

We welcome visiting researchers, industry partnerships, and graduate applicants.

Get in Touch