[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
Technical diagram of a robotic arm for autonomous robotics research
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
Macro silicon wafer patterns representing neural architecture research
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
[Editor's Choice]

Why engage with the Institute?

Just as a chance encounter on the street can lead to a rewarding discovery, browsing this site can open doors you did not expect. Whether you are tasting a new cuisine, previewing a city, or shopping for a favourite brand online, the web turns curiosity into opportunity. Here is what that opportunity looks like for visitors to the Institute for Computational Synthesis.

For postgraduate researchers

Read and learn from copyrighted, latest AI technology articles written by world-leading IT experts, scientists, and technology CEOs — a direct source of references and leading-edge context while writing your technical thesis or dissertation.

For undergraduate students

Your ticket is an invitation to visit and open the door of a top-tier science institute. Meet the scientists and professors who could become your research supervisors in higher education, or join a leading AI technology conference as a professional assistant.

For scholars and lecturers

If you teach in an ordinary school or university, this is a rare opportunity to make friends with top professors and scientists. Tickets are limited, so early registration is encouraged.

For business owners

Become an industry partner of a top research institute to expand your business and achieve a leading position in your profession through membership and collaboration.

For financial market investors

Learn how to make informed bitcoin and technology financial-product investments. Some emerging technologies may become as significant as current cryptocurrencies in the years ahead. Join our conferences and receive high-value financial advice from worldwide top technology business investors.

Membership includes access to latest patents drawn from these masterpiece articles. Because the value of this intellectual property continues to grow, membership fees may increase at any time.

Interested in collaborating?

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

Get in Touch