About Me
Associate Professor at the Computer Science Department of the Institute of Mathematics and Statistics of the University of São Paulo
Member of the research group in Logic, Artificial Intelligence and Formal Methods (LIAMF)
Researcher at the Center for Artificial Intelligence (C4AI)
Member of the director board of Lawgorithm
How to Contact Me
Departamento de Ciência da Computação
Instituto de Matemática e Estatística
Universidade de São Paulo (USP)
Rua do Matão 1010 - Cidade Universitária
05508-090 São Paulo - SP
phone: +55-11-30919687 (office)
+55-11-30916135 (secr.)
e-mail:renata 'at'
ime.usp.br
-----This
page is always under construction. 
