Renata Wassermann's Home Page

-----This page is always under construction.
Suggestions are welcome.

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-900 São Paulo - SP
phone: +55-11-30919687 (office)
+55-11-30916135 (secr.)
fax: +55-11-30916134
e-mail:renata 'at' ime.usp.br

About Me

Academic CV (in Portuguese, Lattes Format)
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).
PhD in Computer Science at the Institute for Logic, Language and Computation of the University of Amsterdam.
MSc in Computer Science at the Institute of Mathematics and Statistics of the University of São Paulo.

My Masters and PhD were sponsored by grants from CAPES. I had a post-doc grant from FAPESP.

Teaching (in Portuguese)

Program of the LIAMF Seminars

2009, first semester: MAC 2166 - Introduction to Computer Science for Engineers.
2008, second semester: MAC 239 - Formal Methods for Computer Science.
2008, first semester: MAC 2301 - Data Structures for Engineers.
2007, second semester: MAC 444/5737 - Knowledge-Based Systems.
2007, first semester: MAC 2166 - Introduction to Computer Science for Engineers.
2006, second semester: MAC 5729 - Reasoning About Knowledge.
2006, second semester: MAC 115 - Introduction to Computer Science for Physicists.
2005, second semester: MAC 425/5739 - Introduction to Artificial Intelligence.
2005, second semester: MAC 5737 - Topics in Artificial Intelligence.
2005, first semester: MAC 2301 - Data Structures for Engineers.
2004, second semester: MAC 239 - Formal Methods for Computer Science.
2004, second semester: MAC 115 - Introduction to Computer Science (Oceanography).
2003, second semester: MAC 5729 - Reasoning About Knowledge.
2003, first semester: MAC 2014 - Data Structures for Engineers.
2002, second semester: MAC 425/5739 - Introduction to Artificial Intelligence.
2002, first semester: MAC 2014 - Data Structures for Engineers.
2001, second semester: MAC 115 - Introduction to Computer Science for Physicists.
2001, first semester: MAC 2166 - Introduction to Computer Science for Engineers.
2000, second semester: MAC 5737 - Topics in Artificial Intelligence. Details here.

Teaching (in English)

20-24 August 2001: ESSLLI course "Belief Change, From AGM to Realistic Models", with Andreas Herzig.

Thesis

My PhD thesis "Resource-Bounded Belief Revision" is available.
If you have missed the defense, you can have a look at this page and this one.

Publications

Here you find some papers in PDF format.

visited 27 states (12%)
Create your own visited map of The World

If you have comments or suggestions, email me at renata 'at' ime.usp.br