Research · Engineering · Assurance
Through abstraction engineering, we turn wickedly complex systems into systems you can trust.
Entalus combines rigorous analysis with practical engineering to understand critical systems and build secure, dependable solutions.
From pioneering research to practical assurance.
We are a team of award-winning computer scientists, each with decades of experience in formal verification and high-assurance systems.
Our team has pioneered many of the techniques that define today’s state of the art and developed some of the world’s most advanced formal verification tools. These tools are widely used by researchers and practitioners across academia and industry.
We have contributed to numerous research projects funded by government agencies and industry partners. Our work and research agenda extend from high-assurance systems and cybersecurity to the growing role of digital technology in healthcare, modeling and reasoning about the physical world, and emerging technologies such as AI. We draw on—and develop—a broad range of formal, computational, and domain-specific methods, choosing the abstractions best suited to each problem.
Abstraction engineering
Make complexity tractable.
Real-world systems cross digital, physical, biological, and human boundaries. We build abstractions that preserve what matters.
We map the whole system, preserve what matters, and connect rigorous models to better real-world designs and decisions.
What guides us
We put rigor to work on problems that matter—and share what we learn.
Let’s talk