Researcher at Intel Strategic CAD Labs. Formal methods, security, computer architecture, ... He/him. Tweets are my own. https://alastairreid.github.io
Omar Rizwan @[email protected]
"we are makers, not agents / we make them all"
Researcher at Intel Strategic CAD Labs. Formal methods, security, computer architecture, ... He/him. Tweets are my own. https://alastairreid.github.io
"we are makers, not agents / we make them all"