Thanks Horizon Robotics for sponsoring the seL4 Summit 2022

The seL4 Foundation thanks Horizon Robotics for becoming a Bronze sponsor of the seL4 Summit 2022.

Horizon Robotics is a global leader in the development of artificial intelligence computing platforms. Its mission is to make driving safer and more convenient as drivers transition to intelligent and self-driving vehicles.

Premium member of the seL4 Foundation, Horizon works with members of seL4 Foundation to build mixed-critical platform and solution for next-generation autonomous driving vehicles.

If you are interesting in sponsoring the seL4 summit 2022, please contact