BedRock Systems is on a mission to deliver a trusted computing base from edge to cloud, where safety and security isn’t just a perception, it’s a formally proven reality.

Software

BedRock Systems

BedRock Systems' headquarters in San Mateo, CA, United States

Osman Ismael

Sebastian Vogl

Osman I.

Efi Gatmor

Kevin Glavin

Gregory Malecha

Jeshta H.

Abishek Chauhan

Robert F. Lentz

Jason Cooper

Kirstjen Nielsen

Ashar Aziz

Bob Tinker

Ted Schlein

Gaurav Garg

Adam Chlipala

The Advisory Team at BedRock Systems consists of experts who provide strategic guidance and insights to ensure the development of a formally proven, trusted computing base. They collaborate closely with other teams to enhance the safety and security of solutions from edge to cloud.

Advisory Team

The Technical and Security Team at BedRock Systems spearheads the development and implementation of advanced security measures to ensure a trusted computing environment from edge to cloud. The team focuses on integrating formally proven safety protocols, designing secure architectures, and leading engineering efforts to safeguard data and processes against threats.

Technical and Security Team

The Engineering Team at BedRock Systems is responsible for developing and implementing secure, reliable software solutions from edge to cloud. They focus on creating a trusted computing base through rigorous testing, active security measures, and innovative software engineering. This team ensures safety and security through formal proofs, continuous risk assessment, and cutting-edge system advancements.

Engineering Team

The Leadership Team at BedRock Systems drives the strategic vision and operational excellence of the company, aligning engineering, product development, and business strategies to ensure a trusted computing experience from edge to cloud. With a diverse set of expertise, including engineering, product management, and business development, the team fosters innovation while upholding the highest standards of safety and security in the technology landscape.

Leadership Team

The Formal Methods Team at BedRock Systems is responsible for developing and applying mathematical techniques to ensure the safety and security of the company's computing systems. By rigorously proving the correctness of algorithms and protocols, they enable the creation of a trusted computing base that spans from edge devices to the cloud.

BedRock Systems

Org chart

Board & advisors

Teams

Advisory Team

Technical and Security Team

Engineering Team

Leadership Team

Formal Methods Team

Offices

BedRock Systems

Org chart

Board & advisors

Teams

Advisory Team

Technical and Security Team

Engineering Team

Leadership Team

Formal Methods Team

Offices

Related companies