Possui graduação em Bacharelado em Ciência da Computação pela Universidade Federal do Paraná (2008), mestrado em Informática pela Universidade Federal do Paraná (2011) e doutorado em Informática pela Universidade Federal do Paraná (2015). Atualmente é professor adjunto da Universidade de Brasília. Tem experiência na área de Ciência da Computação, com ênfase em Ciência da Computação, atuando principalmente nos seguintes temas: software livre, unix, satisfatibilidade e cloud computing.
bachelor's at Bacharelado em Ciência da Computação from Universidade Federal do Paraná (2008), master's at Computer Science from Universidade Federal do Paraná (2011) and doctorate at Computer Science from Universidade Federal do Paraná (2015). Has experience in Computer Science, focusing on Computer Science, acting on the following subjects: unix, software livre, diagnósico instantâneo, enumeração de modelos and cnf.