IME-USP

Leliane Nunes de Barros
Professora Associada
Departamento de Ciência da Computação

Endereço: Rua do Matão, 1010
CEP 05508-090 – São Paulo – SP – Brasil
Sala: 206C
Telefone: (11) 3091-9878

Educação e Títulos Acadêmicos
Prof. Livre Docente, Instituto de Matemática e Estatística da USP, 2009.
Doutorado-Sanduiche, University of Maryland at College Park, 1998
Doutorado, Engenharia Elétrica, EPUSP, 1998
Mestrado em Ciência da Computação e Matemática Computacional, USP, 1986.
Graduação em Física, USP, 1984.

Cursos que costuma lecionar
Inteligência Artificial; Planejamento em Inteligência Artificial; Sistema Baseado em Conhecimento; Introdução à Robótica Móvel; Introdução à Computação; Introdução à Lógica e Verificação de Programas; Laboratório de Inteligência Artificial.

Principais prêmios recebidos ao longo da carreira
Melhor Tese de Doutorado em Inteligência Artificial do Brasil no período de Abril de 2008 a Março de 2010 (orientadora), Concurso de Teses e Dissertações de Inteligência Artificial (CTDIA) do SBIA-SBC.2010
IJAR 2009 Young Researcher Award in Silver (orientadora), International Journal of Aproximate Reasoning – Elsevier.2009
Melhor Tese de Doutorado em Inteligência Artificial do Brasil no periodo de Abril de 2006 a Março de 2008 (orientadora), Concurso de Teses e Dissertações de Inteligência Artificial (CTDIA) promovido pelo SBIA-SBC. 2008.
Prêmio José Negrete Best Paper (melhor artigo da conferência), International joint Conference 2006 – Iberamia/Sbia. 2006

Publicações selecionadas
1. Delgado, Karina V.; Barros, Leliane N.;Dias, Daniel B.; Sanner, Scott.Real-time dynamic programming for Markov decision processes with imprecise probabilities. Artificial Intelligence (General Ed.) , v. 178, p. 1-36, 2015.
2. Delgado, Karina V; Sanner, Scott;de Barros, Leliane N. Efficient solutions to factored MDPs with imprecise transition probabilities. Artificial Intelligence (General ed.), v. 175, p. 1498-1527, 2011.
3. PEREIRA, S. L.; BARROS, L. N.. A logic-based agent that plans for extended reachability goals. Autonomous Agents and Multi-Agent Systems, v. 9034, p. 1-20, 2008.
4. do Lago Pereira, Silvio; Nunes de Barros, Leliane; de Barros, Leliane Nunes. A planner agent that tries its best in presence of nondeterminism. Journal of Applied Logic, v. 10, p. 1-12, 2012.
5. Barros, Leliane N; Pinheiro, Wellington R; Delgado, Karina V. Learning to program using hierarchical model-based debugging. Applied Intelligence (Boston), v. 42, p. 1-20, 2015.