The seL4 Foundation thanks Horizon Roboticshttps://horizon.ai/ for becoming a Bronze sponsor of the seL4 Summit 2022https://sel4.systems/Foundation/Summit/.
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 summit@sel4.systemsmailto:summit@sel4.systems.
---
Dr. Birgit Brecknell
Project Officer
Trustworthy Systems, UNSW, birgit.brecknell@unsw.edu.aumailto:birgit.brecknell@unsw.edu.au
seL4 Foundation, birgit@sel4.systemsmailto:birgit@sel4.systems
0433 880 571
Mon 9am-5pm
Wed 9am-12pm
Fri 9am-5pm