Advancing the Frontiers of Logic.
A specialized research laboratory dedicated to the intersection of formal verification, autonomous systems, and neural computation.
Research Areas
[03 Domains]
Formal Logic & Verification
Applying mathematical rigor to software design to ensure zero-defect mission-critical systems.
Explore Lab
Autonomous Robotics
Exploring multi-agent systems and decentralized decision-making in unstructured environments.
Explore Lab
Neural Architecture
Developing biologically-inspired hardware for energy-efficient edge computing and AI.
Explore LabSelected Publications
Our researchers regularly contribute to top-tier journals including Nature, IEEE, and ACM Transactions.
Compositional Proof Carrying Code for Safety-Critical Autonomous Fleets
A. Miller, P. Nakamura, L. Chen • ACM Transactions on Programming Languages and Systems
Auditable Agent Protocols: Verifying Tool-Using Language Models at Runtime
M. Sterling, S. K. Gupta • IEEE Symposium on Security and Privacy
Distributed Consensus Under Adversarial Latency in Planetary-Scale Networks
L. Chen, B. Sterling, H. Kaur • OSDI 2025
Computational Ethics & Logic 2027
Registration and the call for papers are open for our March 2027 symposium on logic in autonomous agents. Before then: the Winter Seminar on neuromorphic edge computing (27 August) and Open Lab Day (9 October).
View Upcoming Events