Galois

@galois

Galois applies cutting edge computer science and mathematics to solve difficult technological problems.

Portland, OR
galois.com
Vrijeme pridruživanja: rujan 2008.

Medijski sadržaj

  1. 20. pro 2019.

    . writes a special kind of recommendation for a 3-year-old member of the Galois community

    1 proslijeđeni tweet 29 korisnika označava da im se sviđa
  2. 26. stu 2019.

    . discusses using AI to beat games in this talk at the November Haskell DC meetup:

    1 proslijeđeni tweet 4 korisnika označavaju da im se sviđa
  3. 19. ruj 2019.

    What About the Natural Numbers? by José Manuel Calderón Trilla at Papers We Love Conf

    7 korisnika označava da im se sviđa
  4. 11. ruj 2019.

    Watch 's talk at the ERI Summit about our work on DARPA's SSITH program and the secure hardware research demonstrator that is being made available for red teaming:

    3 proslijeđena tweeta 8 korisnika označava da im se sviđa
  5. 28. kol 2019.

    A quiet Wednesday afternoon at Galois

    1 proslijeđeni tweet 38 korisnika označava da im se sviđa
  6. 18. pro 2018.

    David Archer speaks at the UA Health Sciences Medicine Grand Rounds on information security as it relates to electronic medical records.

    4 korisnika označavaju da im se sviđa
  7. 11. pro 2018.

    Dr. David Archer on how organizations in the government can jointly use multiparty computation to make decisions based on their respective datasets, while protecting the privacy of that data:

    2 proslijeđena tweeta 6 korisnika označava da im se sviđa
  8. 16. stu 2018.

    In its shortest form, we draw the line on projects where we believe the intended use of our work is primarily non-damaging. Some of the ideas behind the boundary policy are captured in this video: (3/3)

    3 korisnika označavaju da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
  9. 6. stu 2018.

    Stephen Magill takes a quick look at the state of the art in combining programming and machine learning at :

    1 proslijeđeni tweet 10 korisnika označava da im se sviđa
  10. 7. ruj 2018.

    Our approach to transparency can be summed up in one sentence: Our default is to make any piece of information transparent within the walls of Galois. More info:

    2 proslijeđena tweeta 9 korisnika označava da im se sviđa
  11. 4. ruj 2018.

    Galwegians choose their own projects instead of being told what to work on. Here’s how that works:

    3 proslijeđena tweeta 12 korisnika označava da im se sviđa
  12. 30. kol 2018.

    At most organizations, compensation is backward looking, based on how adept you were at negotiations, etc. We’ve taken a different approach based on future results and salary transparency:

    1 reply 5 korisnika označava da im se sviđa
  13. 27. kol 2018.

    At Galois, we don’t have managers in the traditional sense, and we don't have a fixed hierarchy. How then do we organize ourselves within this structure? The cornerstone of how we work together is the concept of internal “customers” and “performers.”

    5 proslijeđenih tweetova 13 korisnika označava da im se sviđa
  14. 23. kol 2018.

    Wonder what life and work at Galois are like? We're happy to share , a detailed look at how we organize ourselves at Galois, with topics that include our radical approach to transparency, our open compensation, and how we work with no traditional managers.

    4 proslijeđena tweeta 21 korisnik označava da mu se sviđa
  15. 14. kol 2018.

    An more detailed look at C2rust, the recently open sourced tool that translates C into semantically equivalent Rust code.

    12 proslijeđenih tweetova 47 korisnika označava da im se sviđa
  16. 9. kol 2018.

    Galois spins out systems re-engineering company Tangram Flex to revolutionize how large and complex embedded systems are created and modernized

    12 proslijeđenih tweetova 18 korisnika označava da im se sviđa
  17. 18. srp 2018.

    A recording of Steve Zdancewic's Vellvm talk is up on our YouTube channel:

    14 korisnika označava da im se sviđa
  18. 14. svi 2018.

    Friendly reminder

    13 proslijeđenih tweetova 55 korisnika označava da im se sviđa
  19. 10. svi 2018.

    Life and work at Galois: A quick look into how we work together at Galois

    13 proslijeđenih tweetova 36 korisnika označava da im se sviđa
  20. 22. velj 2018.

    What is it about cryptography that is so difficult to get right? What can we do to avoid flaws and vulnerabilities?

    1 reply 15 proslijeđenih tweetova 24 korisnika označavaju da im se sviđa

@galois 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:

    ·