Leonardo de Moura’s Post

View profile for Leonardo de Moura, graphic

Senior Principal Applied Scientist at AWS, and Chief Architect at Lean FRO (non-profit)

Neha Rungta's talk on provably secure authorization at AWS re:Inforce 2024 is already available online. Of course, my favorite part was when she said, "we implemented the proofs in a language called Lean." 🥳 https://lnkd.in/g-ZXVAzg #leanlang #leanprover

AWS re:Inforce 2024 - Provably secure authorization (SEC201-INT)

https://www.youtube.com/

Adolfo Neto

Associate Professor at UTFPR, Software Developer (Elixir) and Podcaster at Emílias Podcast, Fronteiras da Engenharia de Software and Elixir em Foco.

1mo

Nice. She studied at BYU, Lee Barney!

Like
Reply

To view or add a comment, sign in

Explore topics