Luiz Carlos Lemos Junior

Graduado em Matemática Licenciatura Plena pela Universidade Católica de Pelotas (2007), Mestre em Ciências - Computação pela Universidade Federal de Pelotas (2014) e no Mestrado Profissional em Matemática em Rede Nacional no Polo da Universidade Federal do Rio Grande (2019). Atualmente é Professor II - Matemática na Prefeitura Municipal de Pelotas e Professor Formador I no Curso de Licenciatura em Matemática a Distância da Universidade Federal de Pelotas. Tem experiência na área de Matemática, Informática e Educação a Distância.

graduation at Matemática Licenciatura Plena from Universidade Católica de Pelotas (2007) and master's at COMPUTAÇÃO from Universidade Federal de Pelotas (2014). Has experience in Computer Science, focusing on Theory of Computing, acting on the following subjects: gramática de grafos, theorem proving, model checking, métodos formais and informática básica.