Dr Heidy Khlaaf (هايدي خلاف)

@HeidyKhlaaf

Formal Verification (PhD in CS) + Climbing enthusiast | Research Consultant verifying safety-critical systems 👩🏽‍💻(☢️🚄✈️🚗).

London, UK
heidyk.com
Vrijeme pridruživanja: prosinac 2011.

Medijski sadržaj

  1. 25. pro 2019.

    Happy holidays from Madeira, Portugal.

    44 korisnika označavaju da im se sviđa
  2. 5. pro 2019.

    The does it again! Why billionaires shouldn't exist and how philanthropy is just a tax loophole that benefits them.

    1 reply 2 proslijeđena tweeta 8 korisnika označava da im se sviđa
  3. 24. stu 2019.

    Exactly 3 years ago we received the keys to our home in London. We spent the next entire year renovating it. After much hard work, I'm glad to be calling this place home 3 years in with

    13 replies 99 korisnika označava da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
  4. 4. stu 2019.

    I struggled with my natural hair my entire life (thanks Western ideals), and took on habits that destroyed it (left). But 4 years ago I converted to the curly girl method for good! Today (right) I went to the curly salon, and my dresser refused to give me more than a trim because

    6 replies 39 korisnika označava da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
  5. 31. lis 2019.

    My keynote is now up! It's a primer on how formal verification and static analysis techniques are applied in safety-critical systems. It's an industry perspective, with industry tools for all the FM academics who may be interested!

    6 replies 18 proslijeđenih tweetova 88 korisnika označava da im se sviđa
  6. 4. lis 2019.

    Had a blast at , I learned so much! Thanks to for inviting me to give the closing keynote. Happy that so many attended despite an exhausting 3 days. I think I spooked everyone with those nuclear power plants 😂

    1 reply 1 proslijeđeni tweet 32 korisnika označavaju da im se sviđa
  7. 28. ruj 2019.

    Umm, excuse me , right-wing propaganda from unreputable sources is far from "news". If your algorithms worked, you'd notice that I spend an unhealthy amount reading the . US folks have been reporting the same issue with Google "news" reporting 🤔

    1 reply 1 proslijeđeni tweet 6 korisnika označava da im se sviđa
  8. 13. kol 2019.

    Tech companies: Look at how revolutionary we are! No one has ever conceived of using formal methods and create industrial level tools for verification! Safety-critical industry which has been doing this for at least 3 decades:

    5 proslijeđenih tweetova 58 korisnika označava da im se sviđa
  9. 5. kol 2019.

    I love the , but this episode is especially impeccable with coverage of worker abuse, sexual harassment, and gender discrimination in the gaming industry. So many things that are often discussed on twitter, but are not on the mainstream agenda.

    7 korisnika označava da im se sviđa
  10. 30. srp 2019.

    As our last few days approach in South Africa, I'm sad to be leaving, as always. Here are some non-climbing photos showing the magic that is the Cederberg.

    18 korisnika označava da im se sviđa
  11. 25. srp 2019.

    Only one week left in the paradise that is South Africa's Cederberg. I did my first 7C/V9 today (left), and last week I sent a V8 that was my nemesis last year (right)!

    1 proslijeđeni tweet 30 korisnika označava da im se sviđa
  12. 13. srp 2019.

    A few months ago I had the honour to be filmed by the amazing as part of an project celebrating outdoors women all over the world. You can find glimpses of me throughout (but more specifically at 2:41 😊).

    5 proslijeđenih tweetova 11 korisnika označava da im se sviđa
  13. 11. srp 2019.

    Greetings from South Africa! Yesterday I sent this beautiful line Tea-arch, 7b/V8 🙌

    1 proslijeđeni tweet 23 korisnika označavaju da im se sviđa
  14. 3. srp 2019.
    Odgovor korisniku/ci

    Yes, the "Golden boy" safety standard, IEC 61508. You'd have to purchase it though, as most IEC/ISO standards are not public. I talk about this in my talk here: if you're interested in hearing some specifics within the nuclear industry.

    2 proslijeđena tweeta 11 korisnika označava da im se sviđa
  15. 21. lip 2019.

    Tomorrow I'm off on my 6-week climbing hiatus in South Africa. Here are some photos from last year's 4-week hiatus (left: Last Day in Paradise 7c, right: Girl On My Mind 6b). See ya later twitter!

    69 korisnika označava da im se sviđa
  16. 18. lip 2019.

    Is this chaos?

    1 reply 21 korisnik označava da mu se sviđa
  17. 4. lip 2019.

    everyone! As per the internet trend, here is my Eid outfit!

    51 korisnik označava da mu se sviđa
  18. 25. svi 2019.
    Odgovor korisnicima i sljedećem broju korisnika:

    We're in spice racks now?! I too have a label maker. Also this pull out spice drawer has been THE dream.

    4 korisnika označavaju da im se sviđa
  19. 25. svi 2019.
    Odgovor korisnicima

    Haha yeah I'm too into interior decor. This is a photo when we first renovated (that coffee machine is now a proper Barista one). I was super proud of all our hard work.

    26 korisnika označava da im se sviđa
  20. 25. svi 2019.
    Odgovor korisniku/ci

    My default is in the US for cookware, but usually hip home and furniture stores would sell functional but nice plates, cups, mugs, etc. Not sure which in the US. This is my everyday kitchenware cabinet!

    24 korisnika označavaju da im se sviđa

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

    ·