Researcher in Computer Architecture and Verification with a functional programming background. https://alastairreid.github.io
