Patrick is working on applying seL4 to the automotive space.
More contact information is available at the Contact page.
