Mirtha Lina Fernández Venero





Ciência da Computação

Sala: 506-2 - Bloco A - Santo André

Telefone: +55 11 4996-8302

Email: mirtha.lina@ufabc.edu.br

Lattes

Possui graduação em Licenciatura en Ciencia de la Computación - Universidad del Oriente Cuba (1994), mestrado em Maestría en Computación Aplicada - Universidad Central "Marta Abreu" de las Villas (1996) e doutorado pela Universidade Politécnica da Catalunha (2007).

Atualmente tem um pós-doutorado da Universidade de São Paulo.

Tem experiência na área de Ciência da Computação, com ênfase em Teoria da Computação, atuando principalmente nos seguintes temas: dedução e verificação automatizadas, sistemas de re-escrita de termos, linguagens de programação e compiladores.