Letícia Gindri

Bacharel em Ciência da Computação pela Universidade Federal de Sergipe. Mestra em Ciência da Computação pelo Instituto de Matemática e Estatística da Universidade de São Paulo, com ênfase na área de Linguagem Formais e Autômatos. Tem interesse pela área de Métodos Formais, Linguagens Formais e Autômatos e Computabilidade. Professora Assistente na Universidade Federal do Pampa, campus Alegrete, coordenadora do curso de Ciência da Computação, membro do GT de Mulheres na Ciência da Unipampa, membro titular do Comitê de Gênero e Sexualidade do campus Alegrete da Unipampa.

Bachelor's at Ciência da Computação from Universidade Federal de Sergipe and master's at Computer Science from Universidade de São Paulo. Has experience in Computer Science, focusing on Formal Languages and Automata. PhD student at Instituto de Matemática e Estatística from Universidade de São Paulo. Interest on the area of Formal Verification. Assistant Professor at Universidade Federal do Pampa.