Advanced search
Start date
Betweenand

Mirtha Lina Fernández Venero

CV Lattes  Google Scholar Citations


Universidade de São Paulo (USP). Instituto de Matemática e Estatística (IME)  (Institutional affiliation from the last research proposal)
Birthplace: Cuba

graduation at Bacharelado em Ciência da Computação from Universidad del Oriente Cuba (1994), master's at MESTRADO EM COMPUTAÇÃO APLICADA from Universidad Central Marta Abreu de Las Villas (1996) and doctorate at Software from Universitat Politècnica de Catalunya (2007). Has experience in Computer Science, focusing on Computer Science, acting on the following subjects: program correctness, term rewriting, termination, innermost termination and compiladores e intérpretes. (Source: Lattes Curriculum)

News published in Agência FAPESP Newsletter about the researcher
More itemsLess items
Articles published in other media outlets ( ):
More itemsLess items
VEICULO: TITULO (DATA)
VEICULO: TITULO (DATA)
Virtual Library in numbers * Updated data on August 16, 2025
Total / Available in English
1 / 0   Completed scholarships in Brazil

Associated processes
Most frequent collaborators in research granted by FAPESP
Please report errors on the page using this form.