Alastair Reid adreid@mastodon.social

Researcher at Intel Strategic CAD Labs. Formal methods, security, computer architecture, ... He/him. Tweets are my own. https://alastairreid.github.io