LIAMF
Laboratório de
Lógica, Inteligência Artificial e Métodos Formais
(Logics, Artificial
Intelligence and Formal Methods)
Universidade de São Paulo (USP) - Brasil
The
Logics, Artificial Intelligence and Formal Methods Lab (LIAMF) has been
created in 2000 and consists currently of five staff members and
their graduate and undergraduate students. We are involved in
research funded by the Brazilian
government
and/or institutional funding agencies, international agencies as well
as industry. We offer regular courses at graduate and undergraduate
levels and also short courses on specific topics, usually related to ongoing
projects.
Details about our research and contacts can be found in the webpages of the members of the group:
- Ana Cristina Vieira de Melo, Assistant Professor, PhD (University of Manchester, 1995)
- Flávio Soares Corrêa da Silva, Associate Professor, PhD (University Of Edinburgh, 1992)
- Leliane Nunes de Barros, Associate Professor, PhD (University of São Paulo, 1998)
- Marcelo Finger, Associate Professor, PhD (Imperial College of Science and Technology, University of London
, 1994)
- Renata Wassermann, Associate Professor, PhD (University of Amsterdam, 2000)
We
hold weekly meetings where members of the group or their guests can
present their ongoing research. The program for the current semester
can be obtained here.