Andrea Iabrudi Tavares

  • Endereço para acessar este CV: http://lattes.cnpq.br/7851263252868872
  • Última atualização do currículo em 19/11/2012


Possui graduação em Ciência da Computação pela Universidade Federal de Minas Gerais (1991), mestrado em Ciências da Computação pela Universidade Federal de Minas Gerais (1995) e doutorado em Ciências da Computação pela Universidade Federal de Minas Gerais (2004). Atualmente é professora adjunta da Universidade Federal de Ouro Preto. Tem experiência acadêmica e profissional na área de Ciência da Computação, com ênfase em Inteligência Artificial, atualmente trabalhando nos seguintes temas: análise inteligente de dados por modelos gráficos probabilísticos, tomada de decisão distribuída sob incerteza, análise de dados espaço-temporais, cooperação robôs e redes de sensores. (Texto informado pelo autor)


Identificação


Nome
Andrea Iabrudi Tavares
Nome em citações bibliográficas
TAVARES, A. I.;TAVARES, A.I.;IABRUDI, A.

Endereço


Endereço Profissional
Universidade Federal de Ouro Preto, Instituto de Ciências Exatas e Biológicas, Departamento de Computação (DECOM).
Campus do Morro do Cruzeiro
35400-000 - Ouro Preto, MG - Brasil


Formação acadêmica/titulação


2001 - 2004
Doutorado em Ciências da Computação.
Universidade Federal de Minas Gerais, UFMG, Brasil.
Título: Tomada de Decisão Descentralizada sob Observação Parcial e Comunicação Incompleta em Processos Estocásticos Cooperativos, Ano de obtenção: 2004.
Orientador: Mário Fernando Montenegro Campos.
Palavras-chave: Planejamento Distribuído Sob Incerteza; Teoria dos Jogos; Processos de Decisão de Markov.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Matemática da Computação / Especialidade: Modelos Analíticos e de Simulação.
Grande Área: Outros / Área: Robótica, Mecatrônica e Automação.
Grande Área: Engenharias / Área: Engenharia de Produção / Subárea: Pesquisa Operacional.
1995 interrompida
Doutorado interrompido em 1999 em Informática.
Pontifícia Universidade Católica do Rio de Janeiro, PUC-Rio, Brasil.
Título: Metodos de alocação de custos em redes de distribuição de energia elétrica,
Orientador: Celso Carneiro Ribeiro.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico.
Ano de interrupção: 1999
1992 - 1995
Mestrado em Ciências da Computação.
Universidade Federal de Minas Gerais, UFMG, Brasil.
Título: Sistema para Implementação e Análise de Técnicas de Branch-and-Bound em Redes de Estações de Trabalho,Ano de Obtenção: 1995.
Orientador: Márcio Luiz Bunte de Carvalho.
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior.
Palavras-chave: Orientação a Objetos; Otimização Inteira; Paralelismo.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação / Especialidade: Análise de Algoritmos e Complexidade de Computação.
Grande Área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Matemática Aplicada / Especialidade: Matemática Discreta e Combinatória.
Setores de atividade: Informática.
1988 - 1991
Graduação em Ciência da Computação.
Universidade Federal de Minas Gerais, UFMG, Brasil.




Atuação Profissional



Universidade Federal de Ouro Preto, UFOP, Brasil.
Vínculo institucional

2010 - Atual
Vínculo: Servidor Público, Enquadramento Funcional: Professor Adjunto, Carga horária: 40, Regime: Dedicação exclusiva.

Atividades

10/2011 - Atual
Direção e administração, Instituto de Ciências Exatas e Biológicas, Departamento de Computação (DECOM).

Cargo ou função
Membro do Colegiado do Curso de Computação.
08/2011 - Atual
Pesquisa e desenvolvimento , Instituto de Ciências Exatas e Biológicas, .

01/2011 - Atual
Pesquisa e desenvolvimento , Instituto de Ciências Exatas e Biológicas, Departamento de Computação (DECOM).

08/2010 - Atual
Ensino, Computação, Nível: Graduação

Disciplinas ministradas
Inteligência Artificial (2011-1, 2011-2, 2012-1)
Programação de Computadores (2010-2, Minas e Metalurgia)
Projeto e Análise de Algoritmos (2010-2, 2011-1,2011-2,2012-1)

Universidade Federal de Minas Gerais, UFMG, Brasil.
Vínculo institucional

1989 - 2005
Vínculo: Colaborador, Enquadramento Funcional: Não aplicável
Outras informações
Iniciação científica no Departamento de Matemática (3/1989-10/1990) em "Teoria dos Grafos apicada a Homologia de Superfícies". Iniciação Científica no Departamento de Computação (1991) em "Redes Neuronais para Geração de Padrões de Teste". Monitoria de Graduação nas disciplinas: Programação de Computadores, Software Básico e Organização de Computadores. Monitoria de Pós-Graduação nas disciplinas: Arquitetura de Computadores e Teoria de Linguagens (UFMA). Gerência de sub-projetos do LECOM/DCC relacionados ao Convênio Engetron com ênfase em Gerência de Redes (2000 a 2002).

Atividades

5/2002 - 3/2005
Pesquisa e desenvolvimento , Instituto de Ciências Exatas, Departamento de Estatística.

02/2001 - 03/2004
Pesquisa e desenvolvimento , Instituto de Ciências Exatas, Departamento de Ciência da Computação.

2/1993 - 5/1994
Serviços técnicos especializados , Instituto de Ciências Exatas, Departamento de Ciência da Computação.

Serviço realizado
Administração de Redes Unix.
2/1992 - 11/1992
Ensino, Engenharia Civil, Nível: Graduação

Disciplinas ministradas
Cálculo Numérico

Jasper Design Automation.
Vínculo institucional

2006 - 2010
Vínculo: Colaborador, Enquadramento Funcional: Analista e Arquiteta de Sistemas, Carga horária: 40
Outras informações
Desenvolvimento de sistema de Verificação Formal de Circuitos Integrados Projeto e implementação de heurísticas e abstrações

Atividades

02/2005 - 07/2010
Pesquisa e desenvolvimento , Jasper Brasil, .


Instituto Nacional de Pesquisas Espaciais.
Vínculo institucional

2002 - 2005
Vínculo: Colaborador, Enquadramento Funcional: Pesquisador Associado, Carga horária: 10
Outras informações
Desenvolvimento de Módulo para Análise Espaço-Temporal de Eventos integrado ao Sistema Geográfico de Informação TerraLib/TerraView


Universite de Versailles Saint Quentin.
Vínculo institucional

1996 - 1997
Vínculo: Bolsista Doutorado Sanduíche, Enquadramento Funcional: Bolsista, Carga horária: 0
Outras informações
Orientadora: Catherine Roucairol Laboratoire PRiSM - Metaheurísticas e Paralelismo Trabalhos desenvolvidos: SIstema BoB - Branch-and-bound paralelo Scatter Search para problema da atribuição quadrática Alinhamento Múltiplo de Sequências


Telemig Celular.
Vínculo institucional

1999 - 2000
Vínculo: Outro, Enquadramento Funcional: Analista Sênior, Carga horária: 32
Outras informações
Desenvolvimento de Sistema de Gerência plataforma Java, Oracle, C++



Linhas de pesquisa


1.
Algoritmos de Estatística Espaço-Temporal

Objetivo: Projeto e implementação de técnicas para sistemas de vigilância e identificação de conglomerados espaço-temporais em distirbuições não-homogênas..
2.
Planejamento Distribuído sob Incerteza com Comunicação

Objetivo: Projetar algoritmos eficientes para a coordenação entre elementos independentes na execução de um objetivo comum, identificando a utilidade e custo da comunicação como ferramenta de sincronização..
3.
Abstrações Automáticas e Heurísticas de Busca em Verificação Formal

Objetivo: Diminuir o tempo de convergência de provas e identificação de contra-exemplos nos resolvedores SAT e BDD para circuitos integrados, através de estratégias heurísticas de exploração do espaço de busca baseadas em índices específicos de complexidade e causa raiz e identifição e simplificação de elementos estruturais complexos do circuito..
4.
Detecção prospectiva de conglomerados espaço-temporais
5.
Planejamento de rota para coleta de dados de redes de sensores sem fio por robôs móveis


Áreas de atuação


1.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Matemática da Computação.
2.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação.
3.
Grande área: Ciências Exatas e da Terra / Área: Probabilidade e Estatística / Subárea: Probabilidade e Estatística Aplicadas.


Idiomas


Inglês
Compreende Bem, Fala Bem, Lê Bem, Escreve Razoavelmente.
Francês
Compreende Bem, Fala Razoavelmente, Lê Bem, Escreve Razoavelmente.
Espanhol
Compreende Razoavelmente, Fala Pouco, Lê Razoavelmente.


Produções



Produção bibliográfica
Artigos completos publicados em periódicos

1.
ASSUNÇÃO, Renato Martins2007 ASSUNÇÃO, Renato Martins ; TAVARES, A. I. ; KULLDORF, Martin . Space-Time Cluster Identification in Point Processes. Canadian Journal of Statistics, v. '25, p. 9-25, 2007.

2.
ASSUNÇÃO, Renato Martins2006ASSUNÇÃO, Renato Martins ; COSTA, Marcelo Azevedo ; TAVARES, A. I. ; FERREIRA, S. . Fast detection of arbitrarily shaped disease clusters. Statistics in Medicine (Print), v. 25, p. 723-742, 2006.

Trabalhos completos publicados em anais de congressos
1.
VELOSO, B. M. ; IABRUDI, A. ; Corrêa, T. R. . Localização em tempo real de acontecimentos através de vigilância espaço-temporal de microblogs . In: Encontro Nacional de Inteligência Artificial, 2012, Curitiba. Anais do XV ENIA, 2012.

2.
Nazário, G. ; Ribeiro, S. ; IABRUDI, A. . Estudo do impacto da carga na estratégia de roteamento para coleta de dados por robôs móveis em redes de sensores sem fio . In: Encontro Nacional de Inteligência Artificial, 2012, Curitiba. Anais do XV ENIA, 2012.

3.
Carvalho, F. ; Santos, E. ; IABRUDI, A. ; CHAIMOWICZ, L. ; CAMPOS, Mario Fernando Montenegro . Indoor Wireless Sensor Localization Using Mobile Robot and RSSI. In: International Workshop on Wireless Sensor, Actuator and Robot Networks (WiSARN), 2012, Las Vegas. Annals of the Sixth International Workshop on Wireless Sensor, Actuator and Robot Networks, 2012.

4.
MENDES, P.R. ; NEVES, J.M.R. ; TAVARES, A. I. ; MENOTTI, D. . Towards an automatic vehicle access control system: License plate location. In: 2011 IEEE International Conference on Systems, Man and Cybernetics, 2011, Anchorage. 2011 IEEE International Conference on Systems, Man, and Cybernetics, 2011.

5.
NACIF, J. A. M. ; TAVARES, A. I. ; FERNANDES, Antônio Otávio ; COELHO JUNIOR, Claudionor Jose Nunes . Efficient allocation of verification resources using revision history information. In: IEEE WORKSHOP ON DESIGN AND DIAGNOSTICS OF ELECTRONIC SYSTEMS, 2008, Bratislava. 11th IEEE Workshop on Design and Diagnostics of Electronic Systems, 2008.

6.
TAVARES, A. I.; CAMPOS, Mario Fernando Montenegro . Balancing coordination and synchronization cost in Cooperative Situated Multi-agent Systems with Imperfect Communication. In: European Conference On Artificial Intelligence, 2004, Valencia. Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004. p. 68-73.

7.
NACIF, J. A. M. ; MOREIRA, L. F. E. ; TAVARES, A. I. ; MATA, J. M. ; FERNANDES, Antônio Otávio . Migração de um Kernel de Tempo Real para um Processador Digital de Sinais. In: Workshop em Sistemas Operacionais, 2004, Salvador. Anais do SBC'2004, 2004.

8.
TAVARES, A. I.; CAMPOS, Mario Fernando Montenegro . A recursive modelling method for decentralized control of cooperative agents. In: Second International Conference on Autonomous Agents and Multi-Agents Systems, 2003, Melbourne. Proceedings of Fifth Workshop on Game Theoretic and Decision Theoretic Agents, 2003.

9.
ASSUNÇÃO, Renato Martins ; TAVARES, A. I. ; KULLDORF, Martin . An Early Warning System for Space-Time Cluster Detection. In: Brazilian Symposium on GeoInformatics - GEOINFO, 2003, Campos do Jordão. V Brazilian Symposium on GeoInformatics, 2003.

10.
PIMENTEL, B. S. ; CAMPOS, Mario Fernando Montenegro ; TAVARES, A. I. . Communication issues in networked exploration robots. In: Simpósio Brasileiro de Automação Inteligente, 2003, Bauru. VI SBAI, 2003.

11.
TAVARES, A. I.; CAMPOS, Mario Fernando Montenegro ; PIMENTEL, B. S. . Using rational communication for performance enhancemente in cooperative robotics. In: Simpósio Brasileiro de Automação Inteligente, 2003, Bauru. VI SBAI, 2003.

12.
ZUQUIM, Ana Luiza ; COELHO JUNIOR, Claudionor Jose Nunes ; FERNANDES, Antônio Otávio ; OLIVEIRA, Marcos Pego ; TAVARES, A. I. . An Embedded Converter from RS232 to Universal Serial Bus. In: 14th Symposium on Integrated Circuits and Systems, 2001, Pirenopolis. SBCCI 2001, 2001.

13.
CUNG, V. ; MAUTOR, T. ; MICHELON, P. ; TAVARES, A. I. . A Scatter Search Approach to the Quadratic Assignment Problem. In: IEEE Conference on Evolutionary Computing, 1997. ICEC´97, 1997. p. 165-170.

14.
CUNG, V. ; MAUTOR, T. ; MICHELON, P. ; TAVARES, A. I. . Improving the Efficiency of Scatter Search. In: 2nd. Metaheuristics International Conference, 1997. II MIC, 1997.

15.
SODERO, A. ; MEIRA JÚNIOR, W. ; TAVARES, A. I. ; CARVALHO, M. L. B. . Parallel Branch-and-Bound: Design and Performance Understanding. In: VIII Simpósio Brasileiro de Arquitetura de Computadores - Processamento de Alto Desemepnho, 1996, Recife. VIII SBAC, 1996.

16.
RANDAZZO, C. ; MATEUS, G. R. ; TAVARES, A. I. ; CARVALHO, M. L. B. . Algoritmo para Separação e Avaliação para Planejamento de Rede Local. In: XXVII Simpósio Brasileiro de Pesquisa Operacional, 1995. XXVII SBPO, 1995.

17.
TAVARES, A. I.; CARVALHO, M. L. B. ; MATEUS, G. R. . Aided Design and Analysis of Distributed Branch-and-Bound Algorithms. In: XV International Conference of the Chilean Computer Science Society, 1995, Arica, 1995.

18.
PEIXOTO, F. C. ; TAVARES, A. I. ; CARVALHO, M. L. B. ; CARVALHO, O. S. F. . Mapeamento de Vetores em Malhas Bidimensionais. In: VI Simpósio Brasileiro de Arquitetura de Computadores e Processamento de Alto Desempenho, 1994, Caxambu. VI SBAC, 1994.

19.
TAVARES, A. I.; CARVALHO, M. L. B. . An Experimental Assesment of A Parallel Branch-and-bound Algorithm. In: XXV Simp\'{o}sio Brasileiro de Pesquisa Operacional, 1993, Campinas, 1992.

20.
TAVARES, A. I.; CARVALHO, M. L. B. . Uma visão orientada a objetos para branch-and-bound. In: XXV Simpósio Brasileiro de Pesquisa Operacional, 1993, Campinas. XXV SBPO, 1993.

21.
LUIGI, W. ; TAVARES, A. I. ; CARVALHO, M. L. B. ; FERNANDES, Antônio Otávio . Geração Paralela de Padrões de Teste. In: V Simpósio de Computadores Tolerantes a Falhas, 1993. V SCTF, 1993.

22.
JUNQUEIRA, S. ; TAVARES, A. I. ; CARVALHO, M. L. B. . Solução neuronal de um problema NP-árduo. In: XXIV Simpósio Brasileiro de Pesquisa Operacional, 1992, 1992.

23.
TAVARES, A. I.; CARVALHO, M. L. B. ; FERNANDES, Antônio Otávio ; MEIRA JÚNIOR, W. . A neural approach to test pattern generation. In: VII Simpósio Brasileiro de Microeletrônica, 1992. VII SBMicro, 1992.

24.
TAVARES, A. I.; CARVALHO, M. L. B. ; FERNANDES, Antônio Otávio ; MEIRA JÚNIOR, W. . NEURA: Um gerador neuronal de padrões de teste. In: IV Simpósio de Computadores Tolerantes a Falhas, 1991, Gramado, 1991.


Produção técnica
Programas de computador sem registro
1.
TAVARES, A. I.; ASSUNÇÃO, Renato Martins ; Equipe desenvolvimento do INPE . TerraCrime. 2003.

Demais trabalhos
1.
RIBEIRO, C. C. ; ARAGÃO, M. ; TAVARES, A. I. ; AIEX, R. . Aloca\c{c}\ao de Custos de Transmiss\ao em Sistemas de Pot\encia. 1998 (Relatório Técnico) .

2.
TAVARES, A. I.; CARVALHO, O. S. F. ; ROUCAIROL, C. . Feature Selection For Banded Chromosome Classification. 1996 (Relatório Técnico) .



Orientações



Orientações e supervisões em andamento
Dissertação de mestrado
1.
Fabrício Feitosa Carvalho. Uma abordagem probabilística para localização cooperativa entre robôs e redes de sensores. Início: 2012. Dissertação (Mestrado profissional em Ciências da Computação) - Universidade Federal de Minas Gerais. (Coorientador).

2.
Danielle Vieira. Sanus: Um sistema de informação para auxílio em Atenção Farmacêutica. Início: 2012. Dissertação (Mestrado profissional em Ciências Farmacêuticas) - Universidade Federal de Ouro Preto. (Coorientador).

Iniciação científica
1.
Bráulio Veloso. Detecção prospectiva em tempo real de conglomerados em Título: processos espaço-temporais. Início: 2012. Iniciação científica (Graduando em Ciência da Computação) - Universidade Federal de Ouro Preto. (Orientador).

2.
Lucas Leitão. Sanus: Sistema de Atenção Farmacêutica. Início: 2012. Iniciação científica (Graduando em Ciência da Computação) - Universidade Federal de Ouro Preto. (Orientador).


Orientações e supervisões concluídas
Trabalho de conclusão de curso de graduação
1.
Gabriel Nazário. Simulação de Planejamento de Coleta de Dados por Robôs Móveis em Redes de Sensores sem Fio. 2012. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal de Ouro Preto. Orientador: Andrea Iabrudi Tavares.

Iniciação científica
1.
Bráulio Veloso. Estudo de caso para detecção prospectiva de conglomerados espaço-temporais em microblogs: o Carnaval no Brasil. 2012. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal de Ouro Preto. Orientador: Andrea Iabrudi Tavares.




Página gerada pelo Sistema Currículo Lattes em 11/12/2018 às 23:39:08