Software verification, com José Valim

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: http://plataformatec.com/