Alex Bertei

Bacharel em Ciência da Computação formado pela Universidade Federal de Pelotas (UFPEL) com colação de grau realizada no ano de 2014. Mestre em Computação pela Universidade Federal de Pelotas (2017) e Doutor em Computação pela UFPel (2022), graduado no curso de licenciatura em Matemática (2021). Pesquisador na área de métodos formais e especificação e verificação de sistemas, lógica fuzzy. Trabalhou como bolsista voluntario no projeto de extensão EXP-PC (Explorando o Pensamento Computacional para a Qualificação do Ensino Fundamental); foi bolsista da coordenação tecnológica da informação (CTI - UFPEL) na área de suporte e manutenção de computadores.

Has experience in Computer Science, focusing on Computer Science