Compiler Engineer in the Development Solutions Group, base team is Open Source LLVM/Arm Compiler.
Have done a rotation in Arm Research working on validating properties of executable processor specifications.
Former hackathon organizer who plays guitar, sometimes rows, and making coffee.
I'm interested in programming language theory, functional programming, and validating the semantic link between machines and languages through formal means.
Completing your profile allows others to find you.
As you create your own content, ask and answer questions or share your favourite success stories you are building your following.
The information you enter on this page is visible to registered users of the Community.