Fone: (11) 3091-9878

Sala: 206C

Email: Este endereço de email está sendo protegido de spambots. Você precisa do JavaScript ativado para vê-lo.

 

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.

 

Links

Currículo Lattes

Site pessoal

ORCID - Open Researcher and Contributor Identifier

Publicações na Biblioteca do IME-USP