Alastair Reid

@alastair_d_reid

Researcher at Google: formal specification/verification, security, computer architecture, ... Using Haskell, Z3, Verilog, Scala, Coq, ... Tweets are my own.

Cambridge, England
alastairreid.github.io
Vrijeme pridruživanja: lipanj 2010.

Medijski sadržaj

  1. 23. sij

    Got the book. Now I need to get it signed...

    1 proslijeđeni tweet 18 korisnika označava da im se sviđa
  2. 23. sij

    Harsh political commentary in the cocktail menu

    11 korisnika označava da im se sviđa
  3. 5. sij

    Found my old car licence plate

    16 korisnika označava da im se sviđa
  4. 10. pro 2019.

    Celebrating Alan Turing with style

    5 korisnika označava da im se sviđa
  5. 26. stu 2019.

    This view was interesting. The two obvious regions are the left and right hemispheres - the sparse quarters show how little connection there is between them.

    1 reply 1 korisnik označava da mu se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
  6. 26. stu 2019.

    Started with continuous model, reduced it to a discrete model representing connection strengths/lengths in a matrix. Able to reproduce some disease patterns (But not ALS)

    1 reply 1 korisnik označava da mu se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
  7. 26. stu 2019.

    Interesting talk last night in Cambridge “Mathematics vs dementia” modelling how disease spreads through the brain following the connectome.

    1 reply 6 korisnika označava da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
  8. 27. lis 2019.

    Cowering in fear at the summit of Black Mountain with ⁦⁩ Josef and Niklas

    1 reply 12 korisnika označava da im se sviđa
  9. 7. lis 2019.

    Awesome seeing Randall Monroe talk about his new book How To tonight.

    3 korisnika označavaju da im se sviđa
  10. 25. ruj 2019.

    Gustavo Petri (Arm) talking about software verification at Arm

    1 proslijeđeni tweet 17 korisnika označava da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
  11. 25. ruj 2019.

    Peter Davies (Thales) gave super interesting talk at about challenges verifying automotive. “If you sign off on safety/security of the brake system and you get it wrong, you could go to jail”.

    1 reply 3 proslijeđena tweeta 8 korisnika označava da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
  12. 17. ruj 2019.

    Chilling in Portland

    1 reply 8 korisnika označava da im se sviđa
  13. 17. ruj 2019.

    Great visiting Galois Connections yesterday. I even got to use a formally verified voting machine.

    23 korisnika označavaju da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
  14. 13. ruj 2019.

    Joe Hendrix (Galois) talking about binary raising at . One of several decompilation / reverse engineering talks.

    1 reply 2 korisnika označavaju da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
  15. 13. ruj 2019.

    Samuel Pollard (Sandia) describing formal reasoning about ”legacy, high consequence systems” at

    1 reply 1 korisnik označava da mu se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
  16. 13. ruj 2019.

    David Russinoff (arm) talking about verifying FPUs using RCA and ACL2 at

    1 reply 1 korisnik označava da mu se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
  17. 13. ruj 2019.

    Alasdair Armstrong talking about Sail specs and tools at

    1 reply 8 korisnika označava da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
  18. 13. ruj 2019.

    Benjamin Selfridge talking about the Galois RISC-V spec in Haskell at

    7 korisnika označava da im se sviđa
  19. 13. ruj 2019.

    Shilpi Goel talking about verifying Centaur’s x86 processors with ACL2 at

    4 korisnika označavaju da im se sviđa
  20. 13. ruj 2019.

    and Andrew Miranti talking about x86-64 instruction decode at . (Brave souls!)

    1 reply 1 proslijeđeni tweet 9 korisnika označava da im se sviđa

@alastair_d_reid još nije poslao/la nijedan tweet s fotografijama ili videozapisima.

Čini se da učitavanje traje već neko vrijeme.

Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.

    Možda bi vam se svidjelo i ovo:

    ·