José de Deus Lopes Valim

Formado em Engenharia de Automação e Controle pela Escola Politécnica da USP com Diploma Duplo em Engenharia Mecatrônica pela Politecnico di Torino (2010). Atualmente é diretor de pesquisa e desenvolvimento da Plataforma Tecnologia. É o criador da linguagem de programação de Elixir, palestrante e autor de livros técnicos.

Informações coletadas do Lattes em 11/06/2025

Acadêmico

Formação acadêmica

Mestrado em Engenharia Mecatrônica

2007 - 2010

Politecnico Di Torino
Título: Textual Document Classification By Means Of Bayesian Algorithms,Ano de Obtenção: 2010
Orientador: Elena Baralis

Graduação em Engenharia Elétrica - Ênfase Automação e Controle

2004 - 2009

Universidade de São Paulo

Idiomas

Inglês

Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.

Português

Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.

Italiano

Compreende Razoavelmente, Fala Razoavelmente, Lê Razoavelmente, Escreve Razoavelmente.

Áreas de atuação

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação.

Produções bibliográficas

MARX, B. ; VALIM, J. D. L. ; TATE, B. . Adopting Elixir: From Concept to Production. 1. ed. , 2018.
MCCORD, C. ; TATE, B. ; VALIM, J. D. L. . Programming Phoenix. 1. ed. , 2016.
VALIM, J. D. L. . Crafting Rails 4 Applications. 2. ed. Pragmatic Programmers, 2013.
VALIM, J. D. L. . Crafting Rails Applications. 1. ed. Pragmatic Programmers, 2011.
VALIM, J. D. L. . Elixir: the five years ahead. 2018. (Apresentação de Trabalho/Conferência ou palestra).
VALIM, J. D. L. . Introducing HDD: Hughes Driven Development. 2018. (Apresentação de Trabalho/Conferência ou palestra).
VALIM, J. D. L. . Idioms for building distributed fault-tolerant applications with Elixir. 2018. (Apresentação de Trabalho/Conferência ou palestra).
VALIM, J. D. L. . Elixir: a retrospective. 2017. (Apresentação de Trabalho/Conferência ou palestra).
VALIM, J. D. L. . Idioms for building distributed fault-tolerant applications with Elixir. 2017. (Apresentação de Trabalho/Conferência ou palestra).
VALIM, J. D. L. . Thinking with Elixir. 2017. (Apresentação de Trabalho/Conferência ou palestra).
VALIM, J. D. L. . Verificação de Software. 2017. (Apresentação de Trabalho/Conferência ou palestra).
VALIM, J. D. L. . Thinking with Elixir. 2017. (Apresentação de Trabalho/Conferência ou palestra).
VALIM, J. D. L. . Idioms for building distributed fault-tolerant applications with Elixir. 2016. (Apresentação de Trabalho/Conferência ou palestra).
VALIM, J. D. L. . Idioms for building distributed fault-tolerant applications with Elixir. 2016. (Apresentação de Trabalho/Conferência ou palestra).
VALIM, J. D. L. . Idioms for building distributed fault-tolerant applications with Elixir. 2016. (Apresentação de Trabalho/Conferência ou palestra).
VALIM, J. D. L. . Data processing with GenStage and Flow. 2016. (Apresentação de Trabalho/Conferência ou palestra).
VALIM, J. D. L. . Scalable web applications with Phoenix. 2016. (Apresentação de Trabalho/Conferência ou palestra).
VALIM, J. D. L. . What's ahead for Elixir. 2016. (Apresentação de Trabalho/Conferência ou palestra).
VALIM, J. D. L. . Navigating the stable Elixir landscape. 2015. (Apresentação de Trabalho/Conferência ou palestra).
VALIM, J. D. L. . What Elixir is about. 2015. (Apresentação de Trabalho/Conferência ou palestra).
VALIM, J. D. L. . What's ahead for Elixir. 2015. (Apresentação de Trabalho/Conferência ou palestra).
VALIM, J. D. L. . What Elixir is about. 2015. (Apresentação de Trabalho/Conferência ou palestra).
VALIM, J. D. L. . Elixir: past and future. 2014. (Apresentação de Trabalho/Conferência ou palestra).
VALIM, J. D. L. ; THOMAS, D. . Idioms for building distributed fault-tolerant applications with Elixir. 2013. (Apresentação de Trabalho/Conferência ou palestra).
VALIM, J. D. L. . Adding concurrency to Ruby. 2013. (Apresentação de Trabalho/Conferência ou palestra).
VALIM, J. D. L. . Let's Talk Concurrency: the tools of the trade. 2013. (Apresentação de Trabalho/Conferência ou palestra).
VALIM, J. D. L. . Introducing Elixir. 2012. (Apresentação de Trabalho/Conferência ou palestra).
VALIM, J. D. L. . Writing your own Programming Language to understand Ruby better. 2011. (Apresentação de Trabalho/Conferência ou palestra).
VALIM, J. D. L. . Entenda Ruby criando sua própria linguagem de programação. 2011. (Apresentação de Trabalho/Conferência ou palestra).
VALIM, J. D. L. . Design Principles behind the Rails 3 Refactoring. 2011. (Apresentação de Trabalho/Conferência ou palestra).
VALIM, J. D. L. . DSL or NoDSL. 2010. (Apresentação de Trabalho/Conferência ou palestra).
VALIM, J. D. L. . What's New in Ecto 2.0 2016 (Livro digital).
VALIM, J. D. L. . Getting Started with Elixir 2014 (Livro digital).

Outras produções

MEADOWS-JONSSON, E. ; FISH, J. ; LEOPARDI, A. ; MAGUSEV, A. . Elixir. 2012.

RODRIGUES, L. ; VALIM, J. D. L. . Brasileiro cria linguagem de programação e conquista o Vale do Silício. 2018. (Programa de rádio ou TV/Entrevista).

LAVORATTI, L. ; VALIM, J. D. L. . Brasileiros ganham o mundo com ?Elixir?. 2018. (Programa de rádio ou TV/Entrevista).

VALIM, J. D. L. . An Evening at Erlang Factory: José Valim. 2015. (Programa de rádio ou TV/Entrevista).

VALIM, J. D. L. . José Valim on the Elixir Language, Concurrency, Iteration. 2014. (Programa de rádio ou TV/Entrevista).

Projetos de pesquisa

2017 - Atual

Verificação Formal de Software em Elixir, Descrição: Este projeto busca pesquisar técnicas e metodologias de Verificação Formal de Software com foco em sistemas concorrentes e distribuídos e implementar ferramentas para a linguagem de programação Elixir.. , Situação: Em andamento; Natureza: Pesquisa.

Projetos de desenvolvimento

2012 - Atual

Elixir, Descrição: Elixir é uma linguagem de programação para a construção de sistemas manuteníveis e escaláveis. , Situação: Em andamento; Natureza: Desenvolvimento.

Prêmios

2015

Erlang User of the Year, Erlang User Conference.

2010

Ruby Hero Award, RailsConf.

Histórico profissional

Experiência profissional

2009 - Atual

Plataforma Tecnologia e Serviços Online LTDA

Vínculo: Outro (especifique), Enquadramento Funcional: Diretor de Pesquisa e Desenvolvimnto

2011 - Atual

Future Simple

Vínculo: Outro (especifique), Enquadramento Funcional: Conselheiro Técnico

Outras informações:
FutureSimple criou o getbase.com, adquirido pela ZenDesk em 2018.