The Logics, Artificial Intelligence
and Formal Methods Lab

We develop scientific research on the topics of knowledge representation and reasoning, machine learning, automated planning, probabilistic graphical models, natural language processing and formal methods. The lab has been around since 2000 and is part of the Computer Science Department of the University of São Paulo.

If you are interested in learning more about AI, don't hesitate to contact us or attend one of our seminars!

ABOUT

The Logics, Artificial Intelligence and Formal Methods Lab (LIAMF) was created in 2000 and currently consists of six faculty 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 short courses on specific topics, usually related to ongoing projects. We hold regular meetings where members of the group or their guests can present their ongoing research.

SEMINARS

FACULTY

Ana C. Vieira de Melo

MODEL
CHECKING

Denis Deratani Maua

PROBABILISTIC GRAPHICAL MODELS

Flávio Soares C. da Silva

SOCIAL
MACHINE

Leliane Nunes de Barros

AUTOMATED
PLANNING

Marcelo
Finger

LOGIC AND
PROBABILITIES

Renata Wassermann

BELIEF REVISION
LOGIC

MEMBERS

Postdocs

PhD Students

MSc Students

Alumni

CONTACT

We are located at the Institute of Mathematics and Statistics of the University of São Paulo.

OUR ADDRESS:

Rua Matão 1010,
CCSL, Lab 17
Institute of Mathematics and Statistics (IME)
University of São Paulo (USP)
São Paulo - SP, Brazil