Cancel my registration
Do you wish to cancel your registration?

The transmission will begin automatically in

Please wait!

In a few moments the transmission will begin automatically.

It was not possible to connect the slides.

Try again later.

recorded Live paused reconnecting

Software verification, com José Valim

Do you want to end the transmission?

By finishing the streaming you can't continue streaming anymore.

This device is not supported.

Software verification, com José Valim

    • 11/18/2017 at 05:30 p.m.
    • Recorded on Nov. 18, 2017, 5:30 p.m.

How can we guarantee that the software we write is behaving how we want it to? On this talk, José Valim will explore seoftware verification and different techniques such as code review, property-based tests, model checkers and others

José Valim: I am the creator of the Elixir programming language, developed as part of my work as the Director of R&D at Plataformatec, and an active member of the Open Source community. I am also part of the Rails Core Team since early 2010 and author of “Crafting Rails Applications”, a book that covers the internals of Rails beyond the basics. I have also received the Ruby Hero Award as a recognition for my work on other Open Source projects. I graduated in Engineering at Escola Politécnica de São Paulo (Brazil) and have a Machine Learning master’s degree from Politecnico di Torino, in Italy. I am frequently travelling around the globe speaking at conferences and doing consultancy work. Check out Plataformatec website if you’d like to work together:

Theme Technology
Show more
Organized by
  • Locaweb

    Pioneira e líder em hospedagem de sites no País, oferece um portfólio completo de serviços de internet com foco no sucesso dos seus clientes.

Please wait