alastairreid
Researcher working on formal specification and verification. (This is my personal account)
IntelCambridge, United Kingdom
alastairreid's Followers
- comporUniversity of Edinburgh
- TH3P1T
- XiaomingXuhaka
- LinuxJSMultiverse
- venkyqz
- aehnhCorbado
- decrnKU Leuven
- odanobururio
- bennnUniversity of Utah
- unwyndEgypt
- arxgy
- Samir-Rashid@tock
- ctchouSF Bay Area
- CharlesAverill@SoftwareLanguagesSecurityLab
- yiyuan-caoPeking University
- imbremUniversity of Cambridge
- kodyvajjha-intelIntel
- machaddr@liberolinux @Falanet
- MaxAtslegaGermany
- ramrattleBangalore
- VoodooChild99
- standardgalacticXanadu
- jamestiotio@facebook
- mrjameshamilton
- CrazybinaryLiInstitute of Computing Technology, Chinese Academy of Sciences
- lzy0505@logsem
- Yvan-xyAarhus University
- Gary-oak-Star
- IamHuskarhenan province
- pcw109550
- rewindmtm
- Rparr77Miami FL
- nimaarekIR
- TomMD@paxosglobal
- ArchfxUniversity of Florida
- nightnHangzhou, China