About Me

I work on system security at Arm Research.

My interests include system security and programming languages.

To see what I've been working on (outside of work), check out synthol, Malice, or hs-arm.

PGP Public Key

Fingerprint:  4192 C799 FA1E 646F 55F6  FAD5 2EE5 D25E 181E BD4B

-----BEGIN PGP PUBLIC KEY BLOCK-----
mQINBFstkZYBEADOQmZIjAOoi/xMuZhYWnh0NznR7gCQMZKjIFvPDLRRwehTacv0
dpgANx6Yr9jsBq0wM5ATCDWAzUiRRlpd1XrGt3jhwtb1W/SkEq63VZYlrg9j0oDe
nqCHE1ogLSEO58QVEN4tNu5RRw9iCja3KMSteDQ72Ie7CAWS0hxuA0myQA2s0Rm3
ujZI0agl3d+AT6+YB0WZoeTUiSWOpfbQKx6zs0aLl8ANAfFDGTO61R7lvZGmTT0M
tTd6u+iQA2EFW4Lx+0QBmkh1TmYhvipkR/zbKUAlXE50M2F5uroibiP/AMnEAZ+g
b90ls84NDecdnEF29kJE3aLGKy7j7veXx8L11TOL6purYriOTCmLoiWcrFVHZBwB
EnYu275u9jROvorWzXAptGanu6X0rNpCLklCGLp+RFvJvCYRT1YAzocHJtsjPOHM
jwsxAoJtqQtEvbcc0rtpWOJdXVNlXuDTJtM0GiamdwYHxDnUqazwKshSDQcYRLK6
fj9IojmxR85WHEJk/djH3tZFncRlrlAADkTDJ/X0/I1nWBaWkf2IUcxgH4sKQ2/V
lmzzVJKm1ylt2Bbv2tilHW+6K0DEPJJGw0zE03UPBSot71AnJSEKkBAlCHiXdI0h
yqmOGUFPKSln/ak9o0hRAygVnmEQcbt6873tCRERsHDM0UsyWIF1+bjlewARAQAB
tCNOaWNrIFNwaW5hbGUgPG5pY2tAbmlja3NwaW5hbGUuY29tPokCVAQTAQgAPhYh
BEGSx5n6HmRvVfb61S7l0l4YHr1LBQJbLZGWAhsDBQkHhh+ABQsJCAcCBhUKCQgL
AgQWAgMBAh4BAheAAAoJEC7l0l4YHr1LKq4QAIZOUoahOXNXpYdJ6hDyVRbay7SR
vcEo0JjBw6EXb17sv4lu/inTg9qiW3OD79FbDut0tbZTZyjd3fzh7lQXWY3QexQN
cvfAYs6sXj99bDo5+ixiNDEVRCppElg3lIAROCoaT41ExLXBDRIum/4vV2XSqOmt
8oK0sACXfhJTB+wWFdwMkkdYZehCWnDaIo3xKCMWF6KaW6LWssANzqiGCTum5Uu5
xLeCTfmndGjI7gLritBykeCi4TxXDBPwDxbqFzMgjbpoYej9hdedK51fCjXFw+0s
VHntIXGeBuusvSbsDS2V0YdTIIGSWdefmwmO9l2kckFXeE+PabMxCNOacahOxo0i
8EoglScy1OsC1fIiD7zX+PM54qsJzkILQGSKDU8x4ddOQa1/gUmOYVyG8fPyByS6
nALddHXCntyciKScuig95ElUe2SRlDwKMdHiv2ls7jfq8nLCY+zzMVnNjSHMgaTp
u3gBV57AXvEU8gFWQKbyo05cRbh5HxsSZtMDD0TllzuLhdAqnk653AWaqC/4l/c5
K1LwHDjxa2AjyHgkf24TS7FH59v4VOs5NxfNqNrwMSFPIMO7IfhNxMisjZ5Fq1V9
H3GMr0p2Q9GyQ/SedcOE9vUCxyhd20SUYFFVPsqY4cVvSVcUsMekgjMSMkLdOH7V
6zipE70WbUaICrIRuQINBFstkZYBEADMREFxUTf4BhDuMa+nErhvB6SDXz3s7Ojs
LPIUYIcROsFPL2AC6sf248LwKKSFSJ7cRTInwEZCtr0qxENiLd0jyfNAHQ0eYotS
VQEgY03zfKMQLnx0fV3lRLMFvzPcFvOoID6TH7uS28vHKPZOoFaMvd/L85Id5z06
qGj0SQpcodtJqijfB2CqqRwGt/2JHLGLxJPxaIqPGy1NkUpX7QmwDH6jIiIKlwaB
YMRO01RnqiXJ3CslPga1dRbQ5fHrYAbRdP4YtlL92+qTI+56Z86qo/zV92G1aTaH
nbf+zRl4M5brzZKcu8dUrI2WBkzfu5psOuhSyinFJ70uufy/5JQVr6pU/dLYWPQS
5HXjyKEmhwZhiqsmjLWqVlS/u1d5E6tstYQRpkSRds5SYqYbIbZM9Ex4zFoqFcW4
TCQR1H6Vi7Yekoau+0S6zK7aGK9RhLaO5ztqVxBIjXfWQFgQ8uiWGPpVu4qXOF+J
/Ny7OiQkC89AQZhVSw8ZzLCo/PNa2Py+abbIL/APHUeH03hnN9k9/9Io3SKr4Tx3
OJSF0s7Y0V5Dcw4syiWXPEeIy+2vrcYD8nLHj+2SNPo/MH8SFBhWBfW2E4JhDzhL
xdtLX7UtfwGpbNTEzPZzVOHJsunhsAoRDaP/3iLjz13dZnblUssQ5TetFwcNJv8z
mQ04VH3f+QARAQABiQI8BBgBCAAmFiEEQZLHmfoeZG9V9vrVLuXSXhgevUsFAlst
kZYCGwwFCQeGH4AACgkQLuXSXhgevUtXhRAArDxtbEcO6MWVAPW3VTP/S/YAs0YM
YA6+tpX1vzB8U/6w4vJWWA2xXAoGiHvKlXrbxVUwDX0t+I6RrwTgWxb6tdWAYKmm
Xl01hWIhvvm5qMYpT2a05P8QF0Lqlqz93Gm6HF9PdBvn/w59BrTb6t70bdsjwTXE
g+HAolRBLadi5viZ5N+XuZLaKLkHaWQwwBYAxQ3IH2Z9h+QzDSNqd34zE7j1f6/u
6VqmLGZZOGBo0OWtDCVZfSGwHDTJVcVsa0vdqxRUaMRrueA3V2HH/VSLP03s9qC6
/13uBzDy8cDNmYPuj+uXf2PgmZqn94JC0HfHJHYOZ9CZ3TBLeiy3sAT1kQ+p2LiM
6QaUBUL2fNp7Gzfc1RuGqrnNXD2zNIH0G3sX9XsW7rw1zoao9hnvnEx3eM/+WupP
q+MJVch1qdjv1tc0AJnf7h/x326mCgE5QWrZ9mZzvbNR/ZfAy13BmSUVCFXjAkf4
ybhOC9vkx23M6grCk9uK2dKq9VE362OolFvtqjd7J9wU4QvAUxpWTZxb2az8X8QT
7DiCTwI5Xj2LJCHSDNe9bMhL7QP2XUJxWyCTO2gy4RRpWj3/6wXKICHa/c1lc1KW
XwQS50AvlbImJn1LaqBjGaLxTk0xmYAX6MgRYInfvWBaona+jtZnRnmQAUoEdc8G
TAl58UvTH5yFw4Q=
=qwa9
-----END PGP PUBLIC KEY BLOCK-----