Researcher working on formal specification and verification.
(This is my personal account)
- Cambridge, United Kingdom
- https://alastairreid.github.io/
- @adreid@mastodon.social
Block or Report
Block or report alastairreid
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePopular repositories
-
asl-interpreter
asl-interpreter PublicForked from ARM-software/asl-interpreter
Example implementation of Arm's Architecture Specification Language (ASL)
-
-
-
alastairreid.github.io
alastairreid.github.io PublicForked from barryclark/jekyll-now
Home Page - forked from Jekyll Now
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.