Mirtha Lina Fernández Venero

Home / Mirtha Lina Fernández Venero

Área/subárea: Ciência da Computação / Sistemas de Software

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.

Projetos em andamento: informações

CONTATOS