Formal Verification student at Apple | pagesxyz