How to make our software more trustworthy | Elizabeth Polgreen | TEDxUniversityofEdinburgh

Software is becoming more complicated every year, and scandals like the Post Office Horizon fiasco demonstrate that humans who build them are certainly not infallible.
Not only that, but we are increasingly embedding machine learning into the heart of these systems and even delegating programming to tools like ChatGPT. How can we possibly know that any software is safe?
Elizabeth argues that Victorian fictional detective, Sherlock Holmes, might have the answers. Holmes is famous for his incredible logical reasoning, so how does he do it, and can the maths behind his methods help us police the behaviour of computer systems?
Dr. Elizabeth Polgreen is a lecturer in Informatics at the University of Edinburgh and a Royal Academy of Engineering research fellow. Her research focuses on automatically proving code is correct (verification) and synthesizing correct code (program synthesis). Despite, or perhaps because of, this expertise she still does not trust computers. This talk was given at a TEDx event using the TED conference format but independently organized by a local community. Learn more at www.ted.com/tedx

[@agentNirmites]

What I learnt in 4 years of Computer Engineering, you explained it in 15 minutes.

[@rounaksharmaaa]

Great Content Here! 🔥

[@JC-jz6rx]

Been a while since I’ve enjoyed a Ted talk this much

[@anyagetman8596]

I just got a half dozen personal patents approved. Most of them involve real time adaptive controls and learning databases. I need a best place to start.

[@mubin-ansari]

Good watch!

[@bukurie6861]

Thank you share❤

[@bukurie6861]

Thanks😍

[@cyber-psych2503]

Thanks, great post with much needed reminder info ... Trust, trust, but verify

[@theycallmetext]

Fire!!!

[@MegaBaellchen]

The more pressing questions to me right now are, how will they weaponize it, and can it run on my server at home

[@steeeeeeeeeeep2189]

1970-s: creation of logical programming language TED in 2024: Sherlock Holmes

[@raquelsiqueira10]

Muito obrigada

[@melissareiter2962]

Only people who already understand this info will understand this info. Plus, Harry was Watson's sister.

[@celestialcircledance]

Sadly if a message popped up on Amazon saying that my information could be made public, I'd likely ignore it unless I was not allowed access to my account and forced to address it . I've learned from experience to think of those kind of messages as inconveniences at best and and solicitation at worst like companies trying to get me to buy privacy software . I feel like there is the rare tech savvy user who this talk is for and the rest of us who are just monkeys clicking around in the dark , God help us .

[@d0hzer453]

9:50 B didn't say anything. Not enough information to give a certifiable answer.

[@Daniii25]

Мен үшінші😂

[@nickherbert5812]

!! Wow

[@waadmo365]

55

[@mudithakulasuriya7385]

Those who died were apologized, but how?😂

[@rosebronikowski2022]

Jessica says that we( meaning Democrats) have to shore up social security. You forgot about Pres. Johnson who spent all of it to pay for the virt nam war.

[@BUY_YOUTUBE_VIEWS_d133]

aww so excited for this vlog 🥰🥰🥰