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 and formal methods. The lab has been around since 2000 and is part of the Computer Science Department of 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) has been created in 2000 and currently consists of six 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. We hold weekly 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

Leliane Nunes de Barros

AUTOMATED
PLANNING

Marcelo
Finger

LOGIC AND
PROBABILITIES

Renata Wassermann

BELIEF REVISION
LOGIC

STUDENTS

PhD Students

Student Erika Guetti Suca
Erika Guetti Suca
Knowledge Representation, Ontologies, Privacy
Student Felipe Salvatore
Felipe Salvatore
Natural Language Processing, Machine Learning
Student Ignasi Andres
Ignasi Andres
Planning under uncertainty, Robotic planning
Student Julissa Villanueva
Julissa Villanueva
Probabilistic Models, Machine Learning
Student Jandson S. Ribeiro
Jandson S. Ribeiro
Belief Revision, Modal Logics, Temporal Logics
Student Leticia Gindri
Leticia Gindri
Formal Methods, Formal Verification
Student Maricy Caregnato
Maricy Caregnato
Data science, Data Mining, Text Mining
Ricardo F. Guimarães
Ricardo F. Guimarães
Belief Revision, Modularity in Ontologies, Description Logics
Student Sandro Preto
Sandro Preto
Logic and Probabilities
Student Thiago P. Bueno
Thiago P. Bueno
Probabilistic Planning, Machine Learning

MSc Students

Student Débora Lina Ciriaco
Débora Lina Ciriaco
Health informatics, knowledge representation, ontology
Student João Brito
João de Santana Brito Junior
Probabilistic Graphical Models, Machine Learning
Student Lucas Moura
Lucas Moura
Deep Learning, Probabilistic Machine Learning
Student Paula Moraes
Paula Moraes
Probabilistic Robotics
Student Rayssa Kullian
Rayssa Kullian
Machine Learning, Natural Language Processing
Student Thiago Lira
Thiago Lira
Machine Learning, Natural Language Processing
Student Viviane Bonadia
Viviane Bonadia dos Santos
Automated Planning, Non-deterministic Planning
Student Willy Reis
Willy Reis
Planning under uncertainty

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