Michele Mara de Araújo Espíndula Lima
Michele Lima, possui graduação em Bacharelado cm Ciência da Computação pela Universidade Federal da Paraíba (1995), mestrado em Informática pela Pontifícia Universidade Católica do Rio de Janeiro (1998) e doutorado em Ciência da Computação pela Universidade Estadual de Campinas (2005).
Trabalhou no núcleo de coordenação geral da RNP no Rio de Janeiro de 1996 a 1998 como administradora de redes, e de 1998 a 1999 como consultora.
De 1998 a 2005 foi professora na Universidade Estadual do Oeste do Paraná - UNIOESTE, onde coordenou o Laboratório de Redes de Computadores e o Laboratório de Sistemas Distribuídos e Paralelos e foi também coordenadora do curso de Graduação em Bacharelado em Informática.
Desde 2006 é professora na Universidade Federal de Pernambuco, no Campus de Caruaru, onde atua no curso de Engenharia Civil e Engenharia da Produção, ministrando as disciplinas de Algoritmos e Programação de Computadores, e Inovação e Empreendedorismo. Além disto, coordena o laboratório de Alto Desempenho ? LAD, e o Laboratório de Informática do Núcleo de Tecnologia ? LINT.
Desde 2018 coordena pela UFPE o projeto de Letramento em Programação, uma parceria com a secretária de Educação da Prefeitura de Caruaru e o Instituto Ayrton Senna. Atua como mentora e avaliadora de projetos de seleção de incubados e é assessora de Inovação do Campus do Agreste da UFPE.
Informações coletadas do Lattes em 10/04/2024
Acadêmico
Formação acadêmica
Doutorado em Ciência da Computação
2000 - 2005
Universidade Estadual de Campinas
Título: Projeto de Controladores Ótimos para Gerenciamento Ativo de Filas
Nelson Luis Saldanha da Fonseca. Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil. Palavras-chave: Sistema de Controle de Congestionamento; Gerenciamento Ativo de Filas - AQM; Mecanismo de Controle de Congestionamento TCP; Teoria de Controle; Controle Ótimo; Redes TCP/IP. Grande área: Ciências Exatas e da TerraSetores de atividade: Informática.
Mestrado em Informática
1995 - 1998
Pontifícia Universidade Católica do Rio de Janeiro, PUC-Rio
Título: LuaMan - Uma Ferramenta para o Desenvolvimento de Aplicações de Gerenciamento Extensíveis,Ano de Obtenção: 1998
Noemi de La Rocque Rodriguez.Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil. Palavras-chave: Gerência de Redes; SNMP; Aplicações Extensíveis.Grande área: Ciências Exatas e da TerraSetores de atividade: Informática.
Graduação em Bacharelado Em Ciência da Computação
1991 - 1995
Universidade Federal da Paraíba
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil.
Formação complementar
2003 - 2003
Recuperação de Informação e Processamento da Lingu. (Carga horária: 8h). , Sociedade Brasileira de Computação - Porto Alegre, SBC, Brasil.
2003 - 2003
Sistemas Computacionais Embarcados. (Carga horária: 8h). , Sociedade Brasileira de Computação - Porto Alegre, SBC, Brasil.
2002 - 2002
Broadband Satellite Ip Networks. (Carga horária: 4h). , Sociedade Brasileira de Computação - Porto Alegre, SBC, Brasil.
2002 - 2002
Bluetooth Technology Applications Performance. (Carga horária: 4h). , Sociedade Brasileira de Computação - Porto Alegre, SBC, Brasil.
2002 - 2002
Scalable Congesiton Control In Wire Wireless Envir. (Carga horária: 4h). , Sociedade Brasileira de Computação - Porto Alegre, SBC, Brasil.
1998 - 1998
Planejamento de Aula, Avaliação e Didática. (Carga horária: 12h). , Universidade Estadual do Oeste do Paraná, UNIOESTE, Brasil.
1998 - 1998
Introdução Ao Gerenciamento de Redes Atm. (Carga horária: 6h). , Sociedade Brasileira de Computação - Porto Alegre, SBC, Brasil.
1994 - 1994
Estilo de Programação. (Carga horária: 6h). , Universidade Federal da Paraíba, UFPB, Brasil.
1994 - 1994
Unix Para Usuários. (Carga horária: 6h). , Universidade Federal da Paraíba, UFPB, Brasil.
1992 - 1992
Tutores Inteligentes. (Carga horária: 16h). , Sociedade Brasileira de Computação - Porto Alegre, SBC, Brasil.
1992 - 1992
Ray Tracing. (Carga horária: 16h). , Sociedade Brasileira de Computação - Porto Alegre, SBC, Brasil.
1991 - 1991
Estilo de Programação. (Carga horária: 4h). , Universidade Federal da Paraíba, UFPB, Brasil.
Idiomas
Inglês
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Áreas de atuação
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação/Especialidade: Redes de Computadores.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação/Especialidade: Redes Multimídia.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação/Especialidade: Controle de Congestionamento.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação/Especialidade: Qualidade de Serviço.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação/Especialidade: Redes Móveis.
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.
Organização de eventos
LIMA, M. M. A. E. . STARS - Simpósio de Tecnologias Avançadas em Redes de Satélite. 2003. (Congresso).
LIMA, M. M. A. E. . OBI99 - Delegacia da Olimpíada Brasileira de Informática na UNIOESTE. 1999. (Outro).
LIMA, M. M. A. E. . SEMINC99 - Semana de Informática de Cascavel. 1999. (Congresso).
LIMA, M. M. A. E. . I SECONFI - Semana de Computação de Foz do Iguaçu. 1998. (Congresso).
Participação em eventos
XXIII Congresso da Sociedade Brasileira de Computação. XXIII Congresso da Sociedade Brasileira de Computação. 2003. (Congresso).
XX Simpósio Brasileiro de Telecomunicações.XX Simpósio Brasileiro de Telecomunicações. 2003. (Simpósio).
XX Simpósio Brasileiro de Redes de Computadores.XX Simpósio Brasileiro de Redes de Computadores. 2002. (Simpósio).
17th International Teletraffic Congress (ITC17). 17th International Teletraffic Congress (ITC17). 2001. (Congresso).
IX Simpósio Brasileiro de Redes de Computadores.IX Simpósio Brasileiro de Redes de Computadores. 2001. (Simpósio).
Escola de Computação 2000.Escola de Computação 2000. 2000. (Outra).
Fórum de Graduação.Diretrizes Curriculares e sua Relação com o Projeto Pedagógico. 1999. (Outra).
Seminc 99 - Semana de Informática de Cascavel.Seminc 99 - Semana de Informática de Cascavel. 1999. (Outra).
XI Escola de Computação.XI Escola de Computação. 1998. (Outra).
XVI Simpósio Brasileiro de Redes de Computadores.XVI Simpósio Brasileiro de Redes de Computadores. 1998. (Simpósio).
COMDEX/Sucesu-SP96.COMDEX/Sucesu-SP96. 1996. (Outra).
I Seminário sobre Tópicos Avançados em Redes Internet.I Seminário sobre Tópicos Avançados em Redes Internet. 1996. (Seminário).
VIII Simpósio Brasileiro de Computação Gráfica e Processamento de Imagens.VIII Simpósio Brasileiro de Computação Gráfica e Processamento de Imagens. 1995. (Simpósio).
IX Escola de Computação.IX Escola de Computação. 1994. (Outra).
VIII Simpósio Brasileiro de Banco de Dados.VIII Simpósio Brasileiro de Banco de Dados. 1993. (Simpósio).
VI Simpósio Brasileiro de Computação Gráfica e Processamento de Imagens.VI Simpósio Brasileiro de Computação Gráfica e Processamento de Imagens. 1993. (Simpósio).
XII Congresso da Sociedade Brasileira de Computação. XII Congresso da Sociedade Brasileira de Computação. 1992. (Congresso).
Participação em bancas
FONSECA, N. L. S.LIMA, M. M. A. E.; GEROMEL, J. C.; MADEIRA, E. R. M.. Controladores Ótimos para Gerenciamento Ativo de Filas na Arquitetura de Serviços Diferenciados na Internet. 2006. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas.
LIMA, M. M. A. E.. Identificação de Métricas e definição de um Benchmark de avaliação de mecanismos de controle de congestionamento para a Internet do Futuro. 2011. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade de Pernambuco.
LIMA, M. M. A. E.. Análise do Protocolo DCCP em redes de alta velocidade através de simulação. 2011. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade de Pernambuco.
LIMA, M. M. A. E.. TTHSN: Taxonomia e Classificação das Variantes do TCP para Redes com Elevado Produto Banda X Atraso. 2008. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade de Pernambuco.
LIMA, M. M. A. E.. Um Framework para Sistemas de Monitoramento Tolerantes à Falha: Um Estudo de caso Utilizando JINI. 2004. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Informática) - Universidade Estadual do Oeste do Paraná.
LIMA, M. M. A. E.. Simulação de Epidemias e Estratégias de Imunização em Redes Complexas. 2004. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Informática) - Universidade Estadual do Oeste do Paraná.
LIMA, M. M. A. E.. Um Framework para Sistemas de Monitoramento Tolerante à Falhas. 2004. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Informática) - Universidade Estadual do Oeste do Paraná.
LIMA, M. M. A. E.. Estudo da Implementação do Gerenciamento de Processo no Linux. 1999. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Informática) - Universidade Estadual do Oeste do Paraná.
LIMA, M. M. A. E.. Estudo da Implementação do Sistema de Gerenciamento de Memória em um Sistema Operacional. 1999. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Informática) - Universidade Estadual do Oeste do Paraná.
LIMA, M. M. A. E.. Construção de um Modelo de E/S para Microcomputadores padrão PC utilizando a pastilha INtel 8255 (programable Peripheral Interface). 1998. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Informática) - Universidade Estadual do Oeste do Paraná.
LIMA, M. M. A. E.. Simulador de Problemas Clássicos de Sincronização entre Processos/Threads Concorrentes utilizando a API Win32. 1998. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Informática) - Universidade Estadual do Oeste do Paraná.
LIMA, M. M. A. E.. Banca examinadora para contratação de professor efetivo da UPE na área de Computação / Programação. 2012. Universidade de Pernambuco.
LIMA, M. M. A. E.. Seleção pública simplifica para professor substituto da área de Tecnologia, área específica de Métodos Quantitativos e Algoritmo. Edital no 75, de 07 de julho de 2011. 2011. Universidade Federal de Pernambuco.
LIMA, M. M. A. E.; SOARES, J. M.; Gavazza S.. Seleção simplificada para Professor Substituto, Campus do Agreste, UFPE na Área de Tecnologia, área específica de Física Geral 3 e Eletrotécnica Geral. 2008.
LIMA, M. M. A. E.; SAMBATTI, Francisco Sérgio; MANTOVANI, Aníbal. Banca Examinadora do 1o Teste Seletivo de 2005 na área/matéria de Sistemas de Computação - Campus de Cascavel. 2005. Universidade Estadual do Oeste do Paraná.
LIMA, M. M. A. E.; SAMBATTI, Francisco Sérgio; CASTRO, Josué Pereira de. Banca Examinadora do 1o Teste Seletivo de 2005 na área/matéria de Computação Gráfica - Campus de Cascavel. 2005. Universidade Estadual do Oeste do Paraná.
LIMA, M. M. A. E.; MANTOVANI, Aníbal; HACHISUCA, Antonio Marcos Massao. Banca examinadora do 1o Teste Seletivo de 1999 na área/matéria de Redes de Computadores - Campus de Cascavel. 1999. Universidade Estadual do Oeste do Paraná.
LIMA, M. M. A. E.; CONSTANTINO, Ademir Aparecido; NEGRÃO, Rafael Robson. Banca Examinadora do 19o Concurso Público de Provas e Títulos na área de Técnicas Básicas - Campus de Cascavel. 1999. Universidade Estadual do Oeste do Paraná.
LIMA, M. M. A. E.; OLIVEIRA, Homero Fernandes; SANTANDER, Victor Francisco Araya. Banca Examinadora do 1o Teste Seletivo de 1998 na área/matéria de Técnicas Básicas - Campus de Cascavel. 1998. Universidade Estadual do Oeste do Paraná.
LIMA, M. M. A. E.; SOUZA, Marcio Augusto de; SOUZA, Paulo Sergio Lopes de. Banca Examinadora do 17o Concurso Público de Provas e Títulos na área de Sistemas Distribuídos - Campus de Cascavel. 1998. Universidade Estadual do Oeste do Paraná.
LIMA, M. M. A. E.; SANTANDER, Victor Francisco Araya; BIDARRA, Jorge. Banca de avaliação de Estágio Probatório do Professor Ivonei Freitas da Silva. 2005. Universidade Estadual do Oeste do Paraná.
LIMA, M. M. A. E.; SANTANDER, Victor Francisco Araya; BIDARRA, Jorge. Banca de avaliação de Estágio Probatório da Professora Adriana Postal. 2004. Universidade Estadual do Oeste do Paraná.
Orientou
Controle de Congestionamento na Internet do Futuro Processo 138508/2009-7; Início: 2012; Iniciação científica (Graduando em Sistema de Informação) - Universidade de Pernambuco, Conselho Nacional de Desenvolvimento Científico e Tecnológico; (Orientador);
Monitoria da componente curricular Algoritmos e Programação de Computadores do Curso de Engenharia de Produção no período 2013-01; Início: 2013; Orientação de outra natureza; Universidade Federal de Pernambuco; PROACAD/UFPE; (Orientador);
Monitoria da componente curricular Algoritmos e Programação de Computadores do Curso de Engenharia Civil no período 2013-01; Início: 2013; Orientação de outra natureza; Universidade Federal de Pernambuco; PROACAD/UFPE; (Orientador);
Identificação de Métricas e definição de um Benchmark de avaliação de mecanismos de controle de congestionamento para a Internet do Futuro (Co-orientadora); 2011; Trabalho de Conclusão de Curso; (Graduação em Sistemas de Informação) - Universidade de Pernambuco; Orientador: Michele Mara de Araújo Espíndula Lima;
Análise do Protocolo DCCP em redes de alta velocidade através de simulação (Co-orientadora); 2011; Trabalho de Conclusão de Curso; (Graduação em Sistemas de Informação) - Universidade de Pernambuco; Orientador: Michele Mara de Araújo Espíndula Lima;
TTHSN: Taxonomia e Classificação das Variantes do TCP para Redes com Elevado Produto Banda X Atraso (Co-orientadora); 2008; Trabalho de Conclusão de Curso; (Graduação em Sistemas de Informação) - Universidade de Pernambuco; Orientador: Michele Mara de Araújo Espíndula Lima;
Um Estudo Sobre Redes Bluetooth e de sua Interoperabilidade com o Protocolo TCP; 2005; Trabalho de Conclusão de Curso; (Graduação em Bacharelado em Informática) - Universidade Estadual do Oeste do Paraná; Orientador: Michele Mara de Araújo Espíndula Lima;
Uma proposta de aprimoramento do TCP para redes móveis celulares; 2004; 61 f; Trabalho de Conclusão de Curso; (Graduação em Bacharelado em Informática) - Universidade Estadual do Oeste do Paraná; Orientador: Michele Mara de Araújo Espíndula Lima;
Uma Ferramenta para comparação dos Mecanismos de Controle de Congestionamento para Redes TCP/IP utilizando o NS (Network Simulator); 2004; 74 f; Trabalho de Conclusão de Curso; (Graduação em Bacharelado em Informática) - Universidade Estadual do Oeste do Paraná; Orientador: Michele Mara de Araújo Espíndula Lima;
Desenvolvimento de uma Política de AQM utilizando Teoria de Controle Ótimo e Mecanismos de Controle de Congestionamento TCP estáveis; 2004; 73 f; Trabalho de Conclusão de Curso; (Graduação em Bacharelado em Informática) - Universidade Estadual do Oeste do Paraná; Orientador: Michele Mara de Araújo Espíndula Lima;
Técnicas de Rendering para Objetos 3D; 1999; 0 f; Trabalho de Conclusão de Curso; (Graduação em Bacharelado em Informática) - Universidade Estadual do Oeste do Paraná; Orientador: Michele Mara de Araújo Espíndula Lima;
Estudo sobre a Aplicação de Ferramentas para Coleta de Dados Internet; 1999; 0 f; Trabalho de Conclusão de Curso; (Graduação em Bacharelado em Informática) - Universidade Estadual do Oeste do Paraná; Orientador: Michele Mara de Araújo Espíndula Lima;
Uma Extensão da Biblioteca de Gerenciamento de Redes LuaMan para a Plataforma Windows NT; 1999; 0 f; Trabalho de Conclusão de Curso; (Graduação em Bacharelado em Informática) - Universidade Estadual do Oeste do Paraná; Orientador: Michele Mara de Araújo Espíndula Lima;
Desenvolvimento de um Provedor de Serviços Internet Utilizando LINUX como Sistema Operacional; 1999; 0 f; Trabalho de Conclusão de Curso; (Graduação em Bacharelado em Informática) - Universidade Estadual do Oeste do Paraná; Orientador: Michele Mara de Araújo Espíndula Lima;
Wireless LANs - Utilização de Ondas de Rádio e Infra-Vermelho na Transmissão de Dados em Redes Locais; 1999; 0 f; Trabalho de Conclusão de Curso; (Graduação em Bacharelado em Informática) - Universidade Estadual do Oeste do Paraná; Orientador: Michele Mara de Araújo Espíndula Lima;
Desenvolvimento de uma Ferramenta de Gerência de Redes para o DIN utilizando o LuaMan; 1999; 0 f; Trabalho de Conclusão de Curso; (Graduação em Bacharelado em Informática) - Universidade Estadual do Oeste do Paraná; Orientador: Michele Mara de Araújo Espíndula Lima;
Estudo Sobre Sistemas Distribuídos; 1998; 0 f; Trabalho de Conclusão de Curso; (Graduação em Bacharelado em Informática) - Universidade Estadual do Oeste do Paraná; Orientador: Michele Mara de Araújo Espíndula Lima;
Utilização de Fibras Óticas em Redes Locais; 1998; 0 f; Trabalho de Conclusão de Curso; (Graduação em Bacharelado em Informática) - Universidade Estadual do Oeste do Paraná; Orientador: Michele Mara de Araújo Espíndula Lima;
Estudo de Aspectos de Segurança em Transações Comerciais na Internet; 1998; 0 f; Trabalho de Conclusão de Curso; (Graduação em Bacharelado em Informática) - Universidade Estadual do Oeste do Paraná; Orientador: Michele Mara de Araújo Espíndula Lima;
Segurança na Internet; 1998; 0 f; Trabalho de Conclusão de Curso; (Graduação em Bacharelado em Informática) - Universidade Estadual do Oeste do Paraná; Orientador: Michele Mara de Araújo Espíndula Lima;
Estudo de Tecnologia Utilizadas em Aplicações de Comércio Eletrônico; 1998; 0 f; Trabalho de Conclusão de Curso; (Graduação em Bacharelado em Informática) - Universidade Estadual do Oeste do Paraná; Orientador: Michele Mara de Araújo Espíndula Lima;
Definição de métricas e de uma metodologia de Avaliação de Mecanismos de Controle de Congestionamento para a Internet do Futuro; 2011; Iniciação Científica; (Graduando em Sistemas de Informação) - Universidade de Pernambuco, PROGRAMA DE INICIAÇÃO CIENTÍFICA DA UFPE; Orientador: Michele Mara de Araújo Espíndula Lima;
Classificação das variantes do TCP propostas para redes com elevado produto banda x atraso através da Taxonomia TTHBDB e avaliação de desempenho através do Conjunto de testes de Avaliação TCP; 2010; Iniciação Científica; (Graduando em Sistemas de Informação) - Universidade de Pernambuco, PROGRAMA DE INICIAÇÃO CIENTÍFICA DA UFPE; Orientador: Michele Mara de Araújo Espíndula Lima;
Análise da eficácia dos mecanismos de controle de congestionamento das implementações TCP propostas que garantem estabilidade na Janela de Transmissão; 2009; Iniciação Científica; (Graduando em Sistemas de Informação) - Universidade de Pernambuco, PROGRAMA DE INICIAÇÃO CIENTÍFICA DA UFPE; Orientador: Michele Mara de Araújo Espíndula Lima;
Controle de Congestionamento na Internet do Futuro Processo 138508/2009-7 CNPQ; ; 2009; Iniciação Científica; (Graduando em Sistemas de Informação) - Universidade de Pernambuco, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Michele Mara de Araújo Espíndula Lima;
Classificação das variantes do TCP propostas para redes com elevado produto banda x atraso através da Taxonomia TTHBDB e avaliação de desempenho através do Conjunto de testes de Avaliação TCP; 2009; Iniciação Científica; (Graduando em Sistemas de Informação) - Universidade de Pernambuco, PROGRAMA DE INICIAÇÃO CIENTÍFICA DA UFPE; Orientador: Michele Mara de Araújo Espíndula Lima;
Análise da eficácia dos mecanismos de controle de congestionamento das implementações TCP propostas para redes com elevado produto banda-atraso; 2008; Iniciação Científica; (Graduando em Sistemas de Informação) - Universidade de Pernambuco, PROGRAMA DE INICIAÇÃO CIENTÍFICA DA UFPE; Orientador: Michele Mara de Araújo Espíndula Lima;
Análise da eficácia dos mecanismos de controle de congestionamento das implementações TCP propostas que garantem estabilidade na Janela de Transmissão; 2008; Iniciação Científica; (Graduando em Sistemas de Informação) - Universidade de Pernambuco, PROGRAMA DE INICIAÇÃO CIENTÍFICA DA UFPE; Orientador: Michele Mara de Araújo Espíndula Lima;
Um estudo sobre redes Bluetooth e de sua interoperabilidade com os mecanismos de controle de congestionamento TCP; 2005; Iniciação Científica; (Graduando em Bacharelado em Informática) - Universidade Estadual do Oeste do Paraná; Orientador: Michele Mara de Araújo Espíndula Lima;
Verificação da eficácia de mecanismos de controle de congestionamento através de simulações em um ambiente dinâmico de rede; 2005; Iniciação Científica; (Graduando em Bacharelado em Informática) - Universidade Estadual do Oeste do Paraná, Programa Institucional de Iniciação Científica Pibic Unioeste Prppg; Orientador: Michele Mara de Araújo Espíndula Lima;
Ferramenta de gestão acadêmica e administrativa do Centro de Ciências Exatas e Tecnológicas da UNIOESTE; 2004; Iniciação Científica; (Graduando em Bacharelado em Informática) - Universidade Estadual do Oeste do Paraná, Ic Fundação Araucária; Orientador: Michele Mara de Araújo Espíndula Lima;
Ferramenta de gestão acadêmica e administrativa do Centro de Ciências Exatas e Tecnológicas da UNIOESTE; 2004; Iniciação Científica; (Graduando em Bacharelado em Informática) - Universidade Estadual do Oeste do Paraná, Ic Fundação Araucária; Orientador: Michele Mara de Araújo Espíndula Lima;
Tolerância a falhas na WEB; 2003; 0 f; Iniciação Científica; (Graduando em Bacharelado em Informática) - Universidade Estadual do Oeste do Paraná, Universidade Estadual do Oeste do Paraná; Orientador: Michele Mara de Araújo Espíndula Lima;
Monitoria da componente curricular Algoritmos e Programação de Computadores do Curso de Engenharia de Produção no período 2012-01; 2012; Orientação de outra natureza; (Engenharia de Produção) - Universidade Federal de Pernambuco, Universidade Federal de Pernambuco; Orientador: Michele Mara de Araújo Espíndula Lima;
- Monitoria da componente curricular Algoritmos e Programação de Computadores do Curso de Engenharia Civil no período 2012-01; 2012; Orientação de outra natureza; (Engenharia Civil) - Universidade Federal de Pernambuco, Universidade Federal de Pernambuco; Orientador: Michele Mara de Araújo Espíndula Lima;
Monitoria da componente curricular Algoritmos e Programação de Computadores do Curso de Engenharia Civil no período 2012-02; ; 2012; Orientação de outra natureza; (Engenharia de Produção) - Universidade Federal de Pernambuco, PROACAD/UFPE; Orientador: Michele Mara de Araújo Espíndula Lima;
Monitoria da componente curricular Algoritmos e Programação de Computadores do Curso de Engenharia de Produção no período 2012-02; ; 2012; Orientação de outra natureza; (Engenharia de Produção) - Universidade Federal de Pernambuco, PROACAD/UFPE; Orientador: Michele Mara de Araújo Espíndula Lima;
Monitoria da componente curricular Algoritmos e Programação de Computadores do Curso de Engenharia Civil no período 2011-01; 2011; Orientação de outra natureza; (Engenharia de Produção) - Universidade Federal de Pernambuco, Universidade Federal de Pernambuco; Orientador: Michele Mara de Araújo Espíndula Lima;
Monitoria da componente curricular Algoritmos e Programação de Computadores do Curso de Engenharia de Produção no período 2011-01; 2011; Orientação de outra natureza; (Engenharia de Produção) - Universidade Federal de Pernambuco, Universidade Federal de Pernambuco; Orientador: Michele Mara de Araújo Espíndula Lima;
Monitoria da componente curricular Algoritmos e Programação de Computadores do Curso de Engenharia Civil no período 2011-02; 2011; Orientação de outra natureza; (Engenharia Civil) - Universidade Federal de Pernambuco, Universidade Federal de Pernambuco; Orientador: Michele Mara de Araújo Espíndula Lima;
- Monitoria da componente curricular Algoritmos e Programação de Computadores do Curso de Engenharia de Produção no período 2011-02; 2011; Orientação de outra natureza; (Engenharia de Produção) - Universidade Federal de Pernambuco, Universidade Federal de Pernambuco; Orientador: Michele Mara de Araújo Espíndula Lima;
Monitoria da componente curricular Algoritmos e Programação de Computadores do Curso de Engenharia Civil no período 2010-01; 2010; Orientação de outra natureza; (Engenharia CIvil) - Universidade Federal de Pernambuco; Orientador: Michele Mara de Araújo Espíndula Lima;
Monitoria da componente curricular Algoritmos e Programação de Computadores do Curso de Engenharia Civil no período 2010-01; 2010; Orientação de outra natureza; (Engenharia CIvil) - Universidade Federal de Pernambuco, Universidade Federal de Pernambuco; Orientador: Michele Mara de Araújo Espíndula Lima;
Monitoria da componente curricular Algoritmos e Programação de Computadores do Curso de Engenharia de Produção no período de 2010-01; 2010; Orientação de outra natureza; (Engenharia CIvil) - Universidade Federal de Pernambuco, Universidade Federal de Pernambuco; Orientador: Michele Mara de Araújo Espíndula Lima;
Monitoria da componente curricular Algoritmos e Programação de Computadores do Curso de Engenharia Civil no período 2010-02; 2010; Orientação de outra natureza; (Engenharia de Produção) - Universidade Federal de Pernambuco, Universidade Federal de Pernambuco; Orientador: Michele Mara de Araújo Espíndula Lima;
Monitoria da componente curricular Algoritmos e Programação de Computadores do Curso de Engenharia de Produção no período 2010-02; 2010; Orientação de outra natureza; (Engenharia de Produção) - Universidade Federal de Pernambuco, Universidade Federal de Pernambuco; Orientador: Michele Mara de Araújo Espíndula Lima;
Monitoria da componente curricular Algoritmos e Programação de Computadores do Curso de Engenharia Civil no período 2009-01; ; 2009; Orientação de outra natureza; (Engenharia CIvil) - Universidade Federal de Pernambuco; Orientador: Michele Mara de Araújo Espíndula Lima;
Monitoria da componente curricular Algoritmos e Programação de Computadores do Curso de Engenharia Civil no período 2009-02; 2009; Orientação de outra natureza; (Engenharia CIvil) - Universidade Federal de Pernambuco; Orientador: Michele Mara de Araújo Espíndula Lima;
Monitoria da componente curricular Algoritmos e Programação de Computadores do Curso de Engenharia Civil no período 2009-02; ; 2009; Orientação de outra natureza; (Engenharia CIvil) - Universidade Federal de Pernambuco; Orientador: Michele Mara de Araújo Espíndula Lima;
Monitoria da disciplina de Algoritmos e Programação de Computadores; 2008; Orientação de outra natureza; (Engenharia CIvil) - Universidade Federal de Pernambuco; Orientador: Michele Mara de Araújo Espíndula Lima;
Monitoria da disciplina de Algoritmos e Programação de Computadores do Curso de Engenharia Civil no período 2008-01; 2008; Orientação de outra natureza; (Engenharia CIvil) - Universidade Federal de Pernambuco; Orientador: Michele Mara de Araújo Espíndula Lima;
Projeto de Monitoria da Disciplina de Redes de Computadores; 2005; Orientação de outra natureza; (Bacharelado em Informática) - Universidade Estadual do Oeste do Paraná; Orientador: Michele Mara de Araújo Espíndula Lima;
Projeto de Monitoria da Disciplina de Redes de Computadores; 2005; Orientação de outra natureza; (Bacharelado em Informática) - Universidade Estadual do Oeste do Paraná; Orientador: Michele Mara de Araújo Espíndula Lima;
Produções bibliográficas
-
DIAS, M. P. ; LIMA, M. M. A. E. . TTHBDP: Uma taxonomia para protocolos TCPs em redes com elevado produto banda x atraso. REIC. Revista Eletrônica de Iniciação Científica , v. I, p. 37-50, 2009.
-
LIMA, M. M. A. E. . Métricas para a Internet. NewsGeneration (Rio de Janeiro) , v. 2, 1998.
-
LIMA, M. M. A. E. . Introdução a Gerenciamento de Redes TCP/IP. NewsGeneration (Rio de Janeiro) , v. 1, 1997.
-
LIMA, M. M. A. E. . Gerenciamento de Redes TCP/IP - continuação. NewsGeneration (Rio de Janeiro) , v. 1, 1997.
Outras produções
LIMA, M. M. A. E. . Avaliadora científica no II EPAC - Encontro Paranaense de Computação. 2007.
LIMA, M. M. A. E. . Relator de trabalhos científicos para o ICC 2007 Communications QoS,. 2006.
LIMA, M. M. A. E. . Avaliadora científica no XIV Encontro Anual de Iniciação Científica. 2005.
LIMA, M. M. A. E. . Avaliadora científica no I EPAC - Encontro Paranaense de Computação. 2005.
LIMA, M. M. A. E. . Referee in the IEEE Global Telecommunications Conference. 2004.
LIMA, M. M. A. E. . Avaliadora científica no XIII Encontro Anual de Iniciação Científica. 2004.
LIMA, M. M. A. E. . Avaliadora científica no XII Encontro Anual de Iniciação Científica. 2003.
LIMA, M. M. A. E. . Avaliadora científica na Semana de Informática de Cascavel. 2003.
LIMA, M. M. A. E. . Avaliadora científica no XXII Concurso de Trabalhos de Iniciação Científica. 2003.
LIMA, M. M. A. E. . Referee in the International Conference on Communications. 2002.
LIMA, M. M. A. E. . Referee in the IEEE Global Telecommunications Conference 2001. 2001.
LIMA, M. M. A. E. . Avaliadora Científica na Semana de Informática de Cascavel. 2001.
LIMA, M. M. A. E. ; MOURA, A. L. . LuaMan - Uma API para o Desenvolvimento de Aplicações de Gerenciamento Extensíveis. 1998.
LIMA, M. M. A. E. . Relator de trabalho científico para a Revista de Gestão da Tecnologia e Sistemas de Informação do TECSI FEA USP. 2007.
LIMA, M. M. A. E. . Criação e coordenação do Sub-grupo de estatística do GT-ER -Grupo de Engenharia de Redes do Comitê Gestor Internet Brasil).. 1999.
REZENDE, J. F. ; LIMA, M. M. A. E. ; FONSECA, N. L. S. . TCP/IP sobre Redes Móveis. 2002. .
LIMA, M. M. A. E. ; FONSECA, N. L. S. . Controle de Tráfego Internet. 2002. .
LIMA, M. M. A. E. ; CATÃO, Vladimir Soares . Treinamento em Rede Novell. 1994. .
LIMA, M. M. A. E. ; CATÃO, Vladimir Soares . Treinamento em UNIX e TCP/IP. 1994. .
Projetos de pesquisa
-
2014 - 2016
Modelagem e Solução do Problema de Seleção de Pontos de Parada de Ônibus Contratados para Transporte de Funcionários, Descrição: Esse projeto tem como principal objetivo a modelagem e solução de um problema de seleção de pontos de parada para serviços de fretamento contínuo prestados por uma empresa de transportes urbanos de Caruaru. O modelo desenvolvido será baseado em outros problemas logísticos como problemas de localização e de roteamento. Para solução deste modelo serão desenvolvidos algoritmos de solução baseados em Métodos de Programação Matemática e/ou em Heurísticas de Busca Local (entre outros). , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Michele Mara de Araújo Espíndula Lima - Coordenador / Tatiana Balbi Fraga - Integrante.
-
2014 - 2016
Aplicação da Ferramenta MRP em Excel para o Planejamento da Produção da Cachaçaria Sanhaçu, Descrição: Esse projeto teve como principal objetivo a aplicação da metodologia MRP, para o planejamento da produção da cachaçaria Sanhaçu. Essa metodologia será aplicada através de planilhas em Excel e terá como foco todos os produtos industrializados pela empresa, tais como cachaças, rapadura, melaço, licores e etc.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Michele Mara de Araújo Espíndula Lima - Coordenador / Tatiana Balbi Fraga - Integrante.
-
2013 - 2016
Desenvolvimento de uma Ferramenta Computacional Para o Escalonamento da Produção de Empresas do Pólo de Confecções do Agreste Pernambucano, Descrição: Um dos aspectos relevantes das empresas que constituem o polo de confecções do Agreste Pernambucano é que estas empresas em sua grande maioria não fazem um uso adequado de seus recursos de produção (em especial máquinas e/ou funcionários) uma vez que o escalonamento da produção (i.e., a alocação destes recursos para o processamento simultâneo dos diversos lotes de produção de diferentes modelos, cores e ordem tecnológica) é feito de forma empírica, com base apenas no conhecimento de alguns funcionários e sem o auxílio de nenhuma ferramenta de apoio que possibilite um melhor aproveitamento desses recursos. Com base nesta deficiência, o presente projeto tem como principal objetivo o desenvolvimento de uma ferramenta computacional para auxiliar no escalonamento da produção destas empresas. Com esta ferramenta espera-se que as empresas do polo analisado possam otimizar a utilização de seus recursos, consequentemente aumentando sua capacidade produtiva e reduzindo os seus custos de produção. Adicionalmente, uma vez que o escalonamento resulta num maior conhecimento do momento de início e término do processamento das diferentes tarefas, ele pode também melhorar o planejamento de vendas, compras e despesas, aumentando a organização e credibilidade das empresas. Tais benefícios podem ainda resultar na ampliação de muitos negócios e gerar um impacto significativo na economia dos municípios relacionados.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Michele Mara de Araújo Espíndula Lima - Coordenador / Tatiana Balbi Fraga - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
-
2009 - 2012
Controle de Congestionamento na Internet do Futuro - Processo CNPQ 501449/2009-4, Descrição: Desde o nascimento da Internet, o protocolo TCP tem sido um dos principais motivos para o seu enorme sucesso. Desde a sua criação em 1974, sofreu apenas uma reforma mais significativa em 1988, e a partir de então, controla a maior parte do tráfego na Internet, mesmo as taxas tendo variado de forma estrondosa de 30 kbit/s para 40 Gbit/s. O serviço fim-a-fim de transferência de dados acelerou o crescimento da Internet, uma vez que não é necessário modificar o núcleo da rede para a criação de novas aplicações. Além disto, os nós finais utilizavam apenas perdas de pacote como indicação de congestionamento, os usuários eram bem comportados e foi desenvolvido apenas para transferência confiável de dados. No entanto, o modelo para o qual o TCP foi proposto se depara atualmente com uma realidade bem diferente. Hoje existe uma heterogeneidade muito grande de tipo de redes, aplicações e usuários. Todos este fatores vem tornando a Internet cada vez mais heterogênea. Desta forma, fica claro a necessidade de uma revisão geral da Internet e de seus princípios de forma a criar uma ?Nova Internet?, ?Internet do Futuro? ou uma ?Internet de Nova Geração?. Os desafios são enormes e as propostas de soluções, antes de serem adotadas, devem ser avaliadas, simuladas e testadas em um ambiente de escala compatível com a Internet atual. Nos últimos anos uma série de modelos matemáticos foram criados por grupos de pesquisa das áreas da Ciência da Computação, Engenharia, Física e Matemática que permitiram entender e compreender o controle de congestionamento da Internet. No entanto, tais modelos ainda não são suficientes, ou não cobrem a diversidade e heterogeneidade dos requisitos desta dita ?Internet do Futuro?. Algumas questões ainda precisam ser respondidas e investigadas, tais como: como é o sistema de congestionamento ideal? Ele é único?; é necessário a cooperação de outros componentes de controle de tráfego como controle de admissão, monitoramento e policiamento?; podem existir diferent. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) . , Integrantes: Michele Mara de Araújo Espíndula Lima - Coordenador., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.Número de orientações: 2
-
2006 - 2009
Projeto de política AQM utilizando Teoria do Controle Ótimo e mecanismos TCP estáveis, Descrição: Quando ocorre congestionamento, pacotes são descartados, e conseqüentemente recursos são desperdiçados, a vazão diminui e aumenta-se o atraso fim-a-fim dos tráfegos. Para prevenir e controlar o congestionamento, o protocolo Transmission Control Protocol (TCP) varia a taxa de transmissão de dados de acordo com o nível de congestionamento existente. As políticas de Gerenciamento Ativo de Filas, do Inglês Active Queue Management (AQM), monitoram o nível de ocupação das filas, afim de notificar o congestionamento incipiente aos nós emissores. Esta notificação é realizada através do descarte/marcação de pacotes. O sistema de controle de congestionamento em redes TCP/IP, pode ser visto como um sistema de controle por retroalimentação, no qual, a taxa de transmissão dos nós fontes é ajustada de acordo com o nível de ocupação da fila. Os controladores para o gerenciamento ativo de filas determinam o valor da probabilidade de descarte/marcação, buscando a maximização da vazão e a minimização das perdas, garantindo, assim, a estabilidade do tamanho da fila independentemente das variações das condições da rede. O TCP Reno, implementação TCP padrão, utiliza a estratégia AIMD (additive-increase-multiplicative-decrease) para governar o comportamento da sua janela de transmissão. Tal estratégia é inerentemente instável e oscilatória, o que faz com que o uso da banda passante disponível também oscile significantemente. Desta forma, tem-se períodos em que recursos são subutilizados e outros em que ocorre o congestionamento e suas conseqüências. Tal problema ainda torna-se mais grave em redes com elevado produto banda-atraso. RED - Random Early Detectio, a política padrão de AQM para a Internet, bem como a maioria das políticas de AQM existentes são empíricas e foram projetadas baseadas em heurísticas e simulações, não garantindo que um ponto de equilíbrio seja atingido, nem tampouco garantindo a estabilidade do tamanho da fila, que é de capital importância para evitar grandes varia. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (3) . , Integrantes: Michele Mara de Araújo Espíndula Lima - Coordenador / Nelson Luis Saldanha da Fonseca - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
-
2004 - 2006
Desenvolvimento de políticas de AQM para redes Best-Effort e com Suporte a QoS utilizando teoria de controle, Descrição: Quando ocorre congestionamento, pacotes são descartados, e conseqüentemente recursos são desperdiçados, a vazão diminui e aumenta-se o atraso fim-a-fim dos tráfegos. Além disto, quando estes pacotes forem retransmitidos, novos recursos terão que ser alocados. Evitar que o congestionamento ocorra, ou ainda fazer o controle eficiente quando ele ocorre minimizando os seus danos são de suma importância tanto no modelo melhor-esforço quanto no modelo QoS. No primeiro caso, a presença de congestionamento pode degradar ainda mais aplicações que já não possuem garantia de qualidade de serviços. No segundo caso, a presença de congestionamento pode fazer com que os requisitos de qualidade de serviços das aplicações não sejam atendidos. Assim, seja em qualquer dos modelos, a detecção e o controle de congestionamento é um dos fatores essenciais para melhorar o desempenho das aplicações e otimizar o uso dos recursos da rede. Neste trabalho, pretende-se estender o controlador H2-AQM, desenvolvido para o Modelo Best-effort, de forma a verificar a sua robustez. Além disto, pretende-se investigar os mecanismos de controle de congestionamento nas redes TCP/IP com suporte a QoS e desenvolver novas políticas de AQM que garantam a estabilidade e robustez das métricas de desempenho desejadas para um sistema de controle de congestionamento no modelo de QoS. Um outro ponto que será abordado é como integrar diferentes mecanismos de prevenção e controle de congestionamento de forma a maximizar a vazão na rede e diminuir a taxa de perdas. A verificação da eficiência e estabilidade das políticas de AQM propostas será feita através da simulação do modelo matemático utilizando o software Simulink, como também através da simulação da política em um ambiente dinâmico de rede, utilizando o simulador de redes NS.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Michele Mara de Araújo Espíndula Lima - Coordenador / Nelson Luis Saldanha da Fonseca - Integrante / Luiz José Hoffmann Filho - Integrante / Maurício Adalberto Rech - Integrante., Número de produções C, T & A: 8 / Número de orientações: 1
-
2004 - 2006
GACCET- Ferramenta de Gestão Acadêmica e Administrativa do Centro de Ciências Exatas e Tecnológicas, Descrição: Para gerenciar e gerir o CCET - Centro de Ciências Exatas e Tecnológicas da Unioeste de forma mais eficiente, eficaz e efetiva, faz-se necessário à automação dos seus processos e procedimentos acadêmicos e administrativos, visando o aprimoramento do desempenho e o acompanhamento das atividades realizadas e a otimização do processo de tomada de decisão. Desta forma, o objetivo deste projeto é o desenvolvimento de uma ferramenta que através da Internet permita a gestão acadêmica e administrativa do CCET, visando a automatização dos processos e procedimentos, superando assim, as limitações de uma administração burocrática e diminuindo o fluxo de papel. Além disto, poder-se-á ter a disponibilização de forma padrão, objetiva e confiável de informações relativas as atividades realizadas a nível de ensino pesquisa e extensão realizados a nível do CCET. A ferramenta será construída utilizando as tecnologias: servlets, JSP e o framework struts. A base de dados será construída utilizando o SGBD MySQL. Desta forma, a inclusão, consulta, alteração e exclusão dos dados contidas na base de dados poderá ser feita utilizando-se qualquer browser WEB.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Michele Mara de Araújo Espíndula Lima - Coordenador / Rafael Orssatto - Integrante / Anselmo Luiz Éden Battisti - Integrante / Luiz José Hoffmann Filho - Integrante., Financiador(es): Ic Fundação Araucária - Auxílio financeiro., Número de produções C, T & A: 2
-
2003 - 2004
Investigação e desenvolvimento de controladores para o controle de congestionamento, Descrição: Quando ocorre congestionamento, pacotes são descartados, e conseqüentemente recursos são desperdiçados, a vazão diminui e aumenta-se o atraso fim-a-fim dos tráfegos. Além disto, quando estes pacotes forem retransmitidos, novos recursos terão que ser alocados. Evitar que o congestionamento ocorra, ou ainda fazer o controle eficiente quando ele ocorre minimizando os seus danos é importante tanto no modelo melhor-esforço quanto no modelo QoS. No primeiro caso, a presença de congestionamento pode degradar ainda mais aplicações que já não possuem garantia de qualidade de serviços. No segundo caso, a presença de congestionamento pode fazer com que os requisitos de qualidade de serviços das aplicações não sejam atendidos. Neste trabalho pretende-se investigar os mecanismos de controle de congestionamento nas redes TCP/IP com QoS. Primeiramente, será estudada a dinâmica dos mecanismos de controle de congestionamento do protocolo TCP, para se obter um modelo que descreva o seu comportamento. Posteriormente, os principais algoritmos de gerenciamento ativo de filas (AQM) serão estudados para verificar sua estabilidade. Finalmente, pretende-se utilizar a teoria de controle, para se captar a dinâmica do congestionamento, para então desenvolver novas políticas de AQM que garantam a estabilidade e robustez das métricas de desempenho desejadas. Com este projeto espera-se obter políticas de AQM mais eficientes para serem utilizadas na Internet que determinem a probabilidade de descarte ideal para as condições da rede, e que garantam taxas máximas de transmissão para as fontes sem, no entanto, causar o congestionamento. As políticas propostas serão implementadas e integradas ao simulador de redes NS para permitir a comparação com outras políticas de AQM já propostas. Os resultados obtidos deverão ser publicados em eventos científicos.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Michele Mara de Araújo Espíndula Lima - Coordenador / Nelson Luis Saldanha da Fonseca - Integrante., Número de produções C, T & A: 9 / Número de orientações: 2
-
2001 - 2003
Utilização da comunicação em grupo para um ambiente de simulação distribuída, Descrição: Este projeto utiliza a comunicação em grupo para desenvolver um framework para um ambiente de simulação distribuída.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Michele Mara de Araújo Espíndula Lima - Integrante / Marcio Moyamada - Coordenador., Número de orientações: 1
-
1998 - 1999
Definição de Métricas para a Internet a serem Aplicadas no Gerenciamento do Backbone da Rede Nacional de Pesquisa, Descrição: Este projeto consiste no estudo e definição de métricas e de suas correspondentes metodologias para serem utilizadas no gerenciamento do backbone da Rede Nacional de Pesquisa.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Michele Mara de Araújo Espíndula Lima - Coordenador / José Luiz Ribeiro FIlho - Integrante.
Prêmios
2009
Listado em Marqui's "Who is who in the World", Marqui's.
2008
Listado em " 25 th Silver Anniversary Edition of Who is who in the World", Marqui's.
2006
Tese de Doutorado premiada em terceiro lugar no XIX Concurso de Teses e Dissertações, Sociedade Brasileira de Computação - SBC.
2006
Elogio e Voto de Louvor, Pró-Reitoria de Pessoas e Qualidade de Vida da UFPE.
Histórico profissional
Endereço profissional
-
Universidade Federal de Pernambuco, Centro Acadêmico do Agreste. , Alameda Santa Cruz do Capibaribe, Módulo Verde, Rodovia BR 104, km 62, Nova Caruaru, 55002-970 - Caruaru, PE - Brasil, Telefone: (81) 37276793, Fax: (81) 37276793
Experiência profissional
2006 - Atual
Universidade Federal de PernambucoVínculo: Servidor Público, Enquadramento Funcional: Professor Adjunto, Carga horária: 40, Regime: Dedicação exclusiva.
Atividades
-
02/2007
Ensino, Engenharia CIvil, Nível: Graduação,Disciplinas ministradas, Algoritmos e Programação de Computadores
-
08/2006
Direção e administração, Centro Acadêmico do Agreste, .,Cargo ou função, Coordenadora do Laboratório de Informática.
-
08/2006 - 12/2006
Ensino, Engenharia CIvil, Nível: Graduação,Disciplinas ministradas, Algoritmos e Programação de Computadores
-
03/2006 - 07/2006
Ensino, Administração, Nível: Graduação,Disciplinas ministradas, Matemática para Administração
1998 - 2006
Universidade Estadual do Oeste do ParanáVínculo: Servidor Público, Enquadramento Funcional: Professor Assistente D, Carga horária: 40, Regime: Dedicação exclusiva.
Atividades
-
06/2005 - 03/2006
Conselhos, Comissões e Consultoria, Campus de Cascavel, .,Cargo ou função, Membro Suplente da Comissão Setorial de Avaliação Institucional da Unioeste - Campus de Cascavel.
-
02/2005 - 03/2006
Ensino, Bacharelado em Informática, Nível: Graduação,Disciplinas ministradas, Redes de Computadores
-
10/2004 - 03/2006
Direção e administração, Centro de Ciências Exatas e Tecnológicas, .,Cargo ou função, Coordenadora do LSDP - Laboratório de Sistemas Distribuídos e Paralelos.
-
02/2004 - 03/2006
Direção e administração, Centro de Ciências Exatas e Tecnológicas, .,Cargo ou função, Coordenadora do LRC - Laboratório de Redes de Computadores.
-
01/2004 - 03/2006
Direção e administração, Centro de Ciências Exatas e Tecnológicas, .,Cargo ou função, Coordenadora de Área de Ensino, Pesquisa e Extensão.
-
07/2003 - 03/2006
Conselhos, Comissões e Consultoria, Comitê Assessor Local do Pibic Cnpq Unioeste, .,Cargo ou função, Membro do Comitê Assessor Local do Pibic Cnpq Unioeste representante da Área de Ciências Exatas e da Terra.
-
06/2005 - 11/2005
Direção e administração, Centro de Ciências Exatas e Tecnológicas, .,Cargo ou função, Coordenadora do Laboratório de Tecnologias Livres.
-
08/2005 - 09/2005
Conselhos, Comissões e Consultoria, Campus de Cascavel, .,Cargo ou função, Membro de Comissão de Sindicância.
-
04/2005 - 08/2005
Conselhos, Comissões e Consultoria, Campus de Cascavel, .,Cargo ou função, Membro do Grupo de Trabalho Expansão Acadêmica (Graduação e Pós-Graduação).
-
02/2004 - 12/2004
Ensino, Bacharelado em Informática, Nível: Graduação,Disciplinas ministradas, Redes de Computadors, Tópicos em Sistemas de Computação
-
02/2003 - 12/2003
Ensino, Bacharelado em Informática, Nível: Graduação,Disciplinas ministradas, Introdução à Informática, Tópicos em Sistemas de Computação, Trabalho de Conclusão de Curso
-
06/1998 - 02/2000
Outras atividades técnico-científicas , Centro de Ciências Exatas e Tecnológicas, Centro de Ciências Exatas e Tecnológicas.,Atividade realizada, Criação e Implantação do LSC - Laboratório de Sistemas de Computação do Curso de Bacharelado em Informática da UNIOESTE.
-
02/1999 - 01/2000
Direção e administração, Centro de Ciências Exatas e Tecnológicas, Colegiado do Curso de Bacharelado Em Informática.,Cargo ou função, Coordenadora do Curso de Bacharelado em Informática.
-
08/1998 - 01/2000
Conselhos, Comissões e Consultoria, Centro de Ciências Exatas e Tecnológicas, Colegiado do Curso de Bacharelado Em Informática.,Cargo ou função, Membro da Comissão de Acompanhamento da Implantação do Projeto Intranet Paraná.
-
06/1998 - 01/2000
Conselhos, Comissões e Consultoria, Centro de Ciências Exatas e Tecnológicas, Colegiado do Curso de Bacharelado Em Informática.,Cargo ou função, Membro da Comissão Permanente de Licitação nos Processos Licitatórios de Aquisição de Equipamentos de Informática.
-
03/1999 - 12/1999
Ensino, Bacharelado em Informática, Nível: Graduação,Disciplinas ministradas, Algoritmos e Estruturas de Dados II, Projeto e Análise de Algoritmos
-
11/1998 - 12/1999
Extensão universitária , Diretoria de Informática, .,Atividade de extensão realizada, Coordenadora do Projeto: Construção de Home-Pages/Departamento/Redes.
-
09/1998 - 12/1999
Treinamentos ministrados , Centro de Ciências Exatas e Tecnológicas, Colegiado do Curso de Bacharelado Em Informática.,Treinamentos ministrados, Curso de Linguagem C. Curso de 60 h, ministrado para alunos e professores de cursos de Engenharia da UNIOESTE
-
12/1998 - 01/1999
Direção e administração, Centro de Ciências Exatas e Tecnológicas, Colegiado do Curso de Bacharelado Em Informática.,Cargo ou função, Suplente da Coordenação do Colegiado do Curso de Informática do Campus de Cascavel.
-
03/1998 - 12/1998
Ensino, Bacharelado em Informática, Nível: Graduação,Disciplinas ministradas, Estrutura de Dados, Teleprocessamento, Sistemas Abertos, Tópicos Avançados em Informática
1998 - 1999
Rede Nacional de PesquisaVínculo: Colaborador, Enquadramento Funcional: Consultora, Carga horária: 12
1997 - 1998
Rede Nacional de PesquisaVínculo: Bolsista, Enquadramento Funcional: Administradora de Redes, Carga horária: 40
1996 - 1997
Rede Nacional de PesquisaVínculo: Bolsista, Enquadramento Funcional: Administradora de Rede, Carga horária: 20
Atividades
-
03/1997 - 05/1999
Serviços técnicos especializados , Rede Nacional de Pesquisa, .,Serviço realizado, Gerência do bloco de endereços CIDR da RNP através da análise da solicitação e posterior atribuição de blocos de endereços CIDR aos clientes da RNP.
-
03/1997 - 02/1998
Serviços técnicos especializados , Rede Nacional de Pesquisa, .,Serviço realizado, Coleta e disponibilização sobre informações estatísticas sobre o crescimento do número de domínios registrados abaixo do domínio .br, bem como do crescimento de número de máquinas conectadas a Internet brasileira, disponibilizados no site do Grupo de Trab.
-
03/1996 - 02/1998
Serviços técnicos especializados , Rede Nacional de Pesquisa, .,Serviço realizado, Administração dos Serviços de Rede.
-
03/1996 - 02/1998
Serviços técnicos especializados , Rede Nacional de Pesquisa, .,Serviço realizado, Suporte aos usuários dos programas especiais da RNP, que provia acesso a Internet a ONGs, Instuições MIlitares e Instuições sem fins lucrativos através do acesso discado.
1995 - 1996
Petróleo Brasileiro - Rio de Janeiro - MatrizVínculo: Outro, Enquadramento Funcional: Prestação de Serviços, Carga horária: 0
Atividades
-
01/1996 - 01/1996
Treinamentos ministrados , Petróleo Brasileiro - Rio de Janeiro - Matriz, .,Treinamentos ministrados, Curso X.25 no período de 22 a 24/01/96 com 24h, Curso X.25 no período de 29 a 31/01/96 com 24h
-
12/1995 - 12/1995
Treinamentos ministrados , Petróleo Brasileiro - Rio de Janeiro - Matriz, .,Treinamentos ministrados, Curso X.25 no período de 04 a 06/12/95 com 24h
-
10/1995 - 10/1995
Treinamentos ministrados , Petróleo Brasileiro - Rio de Janeiro - Matriz, .,Treinamentos ministrados, Curso X.25 no período de 02 a 04/10/95 com 24h
-
08/1995 - 08/1995
Treinamentos ministrados , Petróleo Brasileiro - Rio de Janeiro - Matriz, .,Treinamentos ministrados, Curso X.25 no período de 15 a 16/08/95 com 16h
1994 - 1995
Ponto de Presença da Rnp na ParaíbaVínculo: Bolsista, Enquadramento Funcional: , Carga horária: 0
Atividades
-
02/1994 - 01/1995
Serviços técnicos especializados , Ponto de Presença da Rnp na Paraíba, .,Serviço realizado, Administração dos Serviços de Rede.
1991 - 1995
Universidade Federal da ParaíbaVínculo: Aluna de Graduação, Enquadramento Funcional: , Carga horária: 0
Atividades
-
02/1993 - 06/1993
Ensino, Bacharelado Em Ciências da Computação, Nível: Graduação,Disciplinas ministradas, Monitoria da Disciplina de Tecnicas de Arquivamento
-
02/1992 - 12/1992
Ensino, Bacharelado Em Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Monitoria da Disciplina de Linguagem de Programação
Criando um monitoramento
Nossos robôs irão buscar nos nossos bancos de dados todos os processos de Michele Mara de Araújo Espíndula Lima e sempre que o nome aparecer em publicações dos Diários Oficiais, avisaremos por e-mail e pelo painel do usuário
Criando um monitoramento
Nossos robôs irão buscar nos nossos bancos de dados todas as movimentações desse processo e sempre que o processo aparecer em publicações dos Diários Oficiais e nos Tribunais, avisaremos por e-mail e pelo painel do usuário
Confirma a exclusão?