Waleed is analyzing and optimizing seL4's worst case cold-cache performance.
More contact information is available at the Contact page.
