Simone de Oliveira Santos

Professora assistente da Universidade Federal do Ceará, campus Crateús. Mestre em Sistemas e Computação pela Universidade Federal do Rio Grande do Norte (2012) e graduada em Ciência da Computação pela Universidade Federal do Piauí (2010). Experiência em docência superior nas áreas de Programação, Engenharia de software, Modelagem de software, Lógica matemática e computacional.

Informações coletadas do Lattes em 04/06/2019

Acadêmico

Seção coletada automaticamente pelo Escavador

Formação acadêmica

Mestrado em Sistemas e Computação

2010 - 2012

Universidade Federal do Rio Grande do Norte
Título: KitSmart: Uma biblioteca de componentes para o desenvolvimento rigoroso de aplicações Java Card com o Método B,Ano de Obtenção: 2012
Anamaria Martins Moreira.Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil. Palavras-chave: Especificações formais; Método B; Java Card.Grande área: Ciências Exatas e da TerraGrande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação / Especialidade: Engenharia de Software.

Graduação em Bacharelado em Ciência da Computação

2006 - 2010

Universidade Federal do Piauí
Título: Desenvolvimento do sítio da UFPI usando o framework Zend e o método ágil Scrum com foco na Segurança e Usabilidade
Orientador: Pedro de Alcântara dos Santos Neto

Curso técnico/profissionalizante

1997 - 1999

Instituto Federal do Piauí

Seção coletada automaticamente pelo Escavador

Formação complementar

2019 - 2019

Seminário pedagógico: Metodologias ativas de ensino e aprendizagem. (Carga horária: 4h). , Universidade Federal do Ceará, UFC, Brasil.

2016 - 2016

Extensão universitária em Five minutes presentation. (Carga horária: 10h). , Universidade Estadual do Piauí, UESPI, Brasil.

2014 - 2014

Web Intelligence Summer School Web of Data. (Carga horária: 24h). , Ecole Nationale Superieure des Mines de Saint-Etienne, ENSMSE, França.

2013 - 2013

Spring School on Program Analysis and Verification. (Carga horária: 24h). , Labex DigiCosme, DIGICOSME, França.

2011 - 2012

Extensão universitária em Formação de tutores do Instituto Metrópole Digital. (Carga horária: 180h). , Universidade Federal do Rio Grande do Norte, UFRN, Brasil.

2011 - 2011

Extensão universitária em 1º Encontro de Engenharia de Software Experimental. (Carga horária: 16h). , Universidade Federal do Rio Grande do Norte, UFRN, Brasil.

2010 - 2010

Capacitação Pedagógica - Iniciação à Docência. (Carga horária: 75h). , Universidade Federal do Rio Grande do Norte, UFRN, Brasil.

2009 - 2009

Gestão de Projetos. (Carga horária: 8h). , Instituto Federal do Piauí, IFPI, Brasil.

2009 - 2009

Métricas e avaliação de código fonte. (Carga horária: 8h). , Instituto Federal do Piauí, IFPI, Brasil.

2009 - 2009

Automação de testes funcionais com o Selenium. (Carga horária: 4h). , Universidade Federal do Piauí, UFPI, Brasil.

2006 - 2009

Extensão universitária em Curso de Extensão Continuada em Língua Inglesa. (Carga horária: 270h). , Universidade Federal do Piauí, UFPI, Brasil.

2008 - 2008

Extensão universitária em Curso Teste de Intrusão (PEN-TEST). (Carga horária: 16h). , Universidade Federal do Piauí, UFPI, Brasil.

2008 - 2008

Algoritmos Genéticos. (Carga horária: 15h). , Universidade Federal do Piauí, UFPI, Brasil.

2008 - 2008

R.U.P.. (Carga horária: 16h). , Centro de Ensino Unificado de Teresina, CEUT, Brasil.

2008 - 2008

Linux básico. (Carga horária: 20h). , Universidade Federal do Piauí, UFPI, Brasil.

Seção coletada automaticamente pelo Escavador

Idiomas

Inglês

Compreende Bem, Fala Bem, Lê Bem, Escreve Razoavelmente.

Espanhol

Compreende Razoavelmente, Lê Razoavelmente.

Português

Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.

Francês

Compreende Razoavelmente, Fala Razoavelmente, Lê Bem.

Seção coletada automaticamente pelo Escavador

Organização de eventos

CACHO, N. ; LOPES, F. ; AQUINO, G. ; SANTOS, S. O. . III Congresso Brasileiro de Software: Teoria e Prática - CBSoft 2012. 2012. (Congresso).

Oliveira, Marcel V. M. ; SANTOS, S. O. . 22nd IFIP International Conference on Testing Software and Automated Systems - ICTSS. 2010. (Congresso).

Oliveira, Marcel V. M. ; SANTOS, S. O. . XIII Brazilian Symposium on Formal Methods - SBMF. 2010. (Congresso).

Oliveira, Marcel V. M. ; SANTOS, S. O. . IV Brazilian Workshop on Systematic and Automated Software Testing - SAST. 2010. (Congresso).

SANTOS NETO, P. A. ; LEAO, E. M. ; CARVALHO, C. A. B. ; SANTOS, S. O. . Maratona de Programação SBC-ACM, Etapa regional. 2008. (Outro).

Seção coletada automaticamente pelo Escavador

Participação em eventos

III Congresso Brasileiro de Software: Teoria e Prática (CBSoft). 2012. (Congresso).

II Congresso Brasileiro de Software: Teoria e Prática (CBSoft). 2011. (Congresso).

I Workshop de Teses e Dissertações do CBSoft (WTDSoft 2011). KitSmart: Uma biblioteca de componentes para o desenvolvimento rigoroso de aplicações Java Card com o Método B. 2011. (Congresso).

XIV Brasilian Symposium on Formal Methods - SBMF. 2011. (Simpósio).

XXXI Congresso da Sociedade Brasileira de Computação. 2011. (Congresso).

22nd IFIP International Conference on Testing Software and Automated Systems - ICTSS. 2010. (Congresso).

ICTAC School on Software Engineering - ISSE. 2010. (Oficina).

IV Brazilian Workshop on Systematic an Automated Software Testing - SAST. 2010. (Oficina).

XIII Brazilian Symposium on Formal Methods - SBMF. 2010. (Simpósio).

Escola Regional Ceará Maranhão Piauí - ERCEMAPI. 2009. (Encontro).

VII Simpósio de Informática do IFPI - InFoPI. 2009. (Simpósio).

XVIII Seminário de Iniciação Científica.Busca Tabu para o problema de roteamento de veículos com janelas de tempo. 2009. (Seminário).

III Encontro Regional de Computação do Piauí - ERECOMPI. 2008. (Encontro).

I Semana Acadêmica de Ciencia da Computação - SACIC. 2008. (Encontro).

VI Simpósio de Informática do CEFET-PI - INFOCEFET. 2008. (Simpósio).

Seção coletada automaticamente pelo Escavador

Participação em bancas

Aluno: Carlielson Damasceno De Souza

SOUSA, J. V. M.; RICARTE NETO, F. A.;SANTOS, S. O.. AutoHome: Automação Residencial com Arduino e Android. 2016. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Estadual do Piauí.

Aluno: Emanuel Davi Macedo Guimarães

SANTOS, S. O.; RICARTE NETO, F. A.; SOUSA, J. V. M.. Análise de ferramentas que apoiam o desenvolvimento de linha de produtos de software: um estudo de caso. 2016. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Estadual do Piauí.

Aluno: Bruno Nazion Lima Neres

SANTOS, S. O.; SOUSA, J. V. M.; RICARTE NETO, F. A.. Uso da realidade aumentada no ensino da astronomia. 2016. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Estadual do Piauí.

ARAUJO, A. A. P.;SANTOS, S. O.; ALMADA, F. A.; RIBEIRO, I. M. S.. Seleção de professor substituto. 2019. Universidade Federal do Ceará.

Seção coletada automaticamente pelo Escavador

Comissão julgadora das bancas

David Boris Paul Déharbe

MOREIRA, A. M.Déharbe, DavidGHEYI, R.. KitSmart: Uma biblioteca de componentes para o desenvolvimento rigoroso de aplicações Java Card com o método B. 2012. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.

Anamaria Martins Moreira

MOREIRA, A. M.; Gheyi, R.;DÉHARBE, D.. KitSmart: uma biblioteca de componentes para o desenvolvimento rigoroso de aplicações Java Card com o método B. 2012.

Umberto Souza da Costa

MOREIRA, A. M.DEHARBE, D. B. P.COSTA, U. S.. KitSmart: Uma biblioteca de componentes para o desenvolvimento rigoroso de aplicações Java Card com o método B. 2011. Exame de qualificação (Mestrando em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.

Seção coletada automaticamente pelo Escavador

Orientou

Emanuel Davi Macedo Guimarães

Análise de ferramentas que apoiam o desenvolvimento de linha de produtos de software: um estudo de caso; 2016; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Estadual do Piauí; Orientador: Simone de Oliveira Santos;

Bruno Nazio Lima Neres

Uso da realidade aumentada no ensino da Astronomia; 2016; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Estadual do Piauí; Orientador: Simone de Oliveira Santos;

Seção coletada automaticamente pelo Escavador

Foi orientado por

Antonio Costa de Oliveira

Busca tabu para o problema de roteamento de veículos com janelas de tempo; 2009; Iniciação Científica; (Graduando em Bacharelado Em Ciência da Computação) - Universidade Federal do Piauí; Orientador: Antonio Costa de Oliveira;

Anamaria Martins Moreira

KitSmart: Uma biblioteca de componentes para o desenvolvimento rigoroso de aplicações Java Card com o método B; ; 2012; Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Anamaria Martins Moreira;

Pedro de Alcântara dos Santos Neto

Desenvolvimento do sítio da UFPI utilizando o framework Zend com o método ágil Scrum e foco na segurança e usabilidade; 2009; Trabalho de Conclusão de Curso; (Graduação em Bacharelado Em Ciencia da Computacao) - Universidade Federal do Piauí; Orientador: Pedro de Alcantara dos Santos Neto;

Seção coletada automaticamente pelo Escavador

Produções bibliográficas

  • SANTOS, S. O. ; MUSICANTE, M. A. ; HALFELD FERRARI ALVES, M. . Linguagens de consulta para bases de dados em grafos: um mapeamento sistemático. Revista de Informática Teórica e Aplicada, p. 10 - 68, 04 maio 2016.

  • SANTOS, S. O. ; OLIVEIRA, A. C. . Busca Tabu para o problema de roteamento de veículos com janelas de tempo. In: XVIII Seminário de Iniciação Científica, 2009, Teresina. XVIII Seminário de Iniciação Científica da UFPI, 2009.

  • SANTOS, S. O. ; MOREIRA, A. M. . KitSmart: Uma biblioteca de componentes para o desenvolvimento rigoroso de aplicações Java Card com o Método B. 2011. (Apresentação de Trabalho/Congresso).

Seção coletada automaticamente pelo Escavador

Projetos de pesquisa

  • 2008 - 2009

    Técnicas Heurísticas para problemas de otimização combinatória, Descrição: Busca Tabu para o problema de roteamento de veículos com janelas de tempo. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) . , Integrantes: Simone de Oliveira Santos - Integrante / Antonio Costa de Oliveira - Coordenador.

Histórico profissional

Seção coletada automaticamente pelo Escavador

Endereço profissional

  • Universidade Federal do Ceará, Campus Crateús. , BR 226, Km 3, Venâncios, 63700000 - Crateús, CE - Brasil, Telefone: (88) 36919700

Seção coletada automaticamente pelo Escavador

Experiência profissional

  • 2016 - 2016

    Universidade Estadual do Piauí

    Vínculo: Bolsista, Enquadramento Funcional: Professor formador do PARFOR, Carga horária: 60

    Outras informações:
    Disciplina ministrada: - Linguagens formais e computabilidade

  • 2015 - 2016

    Universidade Estadual do Piauí

    Vínculo: , Enquadramento Funcional: Professor Assistente, Carga horária: 20

    Outras informações:
    Disciplinas Ministradas: Lógica Matemática e Computacional Estruturas de dados Engenharia de Software Modelagem e Projeto de Software Programação para web Noções de Informática

  • 2012 - 2012

    Universidade Federal do Rio Grande do Norte

    Vínculo: Bolsista, Enquadramento Funcional: Tutor Metrópole Digital, Carga horária: 20

    Outras informações:
    Disciplinas ministradas: -Introdução às Tecnologias da Informação -Matemática aplicada -Inglês técnico -Lógica de programação -Programação estruturada

  • 2010 - 2011

    Universidade Federal do Rio Grande do Norte

    Vínculo: Bolsista, Enquadramento Funcional: Docência assistida, Carga horária: 14, Regime: Dedicação exclusiva.

    Outras informações:
    Bolsa modalidade REUNI. Disciplina ministrada: -Elementos de Matemática para Computação -Linguagens de programação

  • 2008 - 2009

    Universidade Federal do Piauí

    Vínculo: Bolsista, Enquadramento Funcional: Desenvolvedor, Carga horária: 20

  • 2008 - 2008

    Universidade Federal do Piauí

    Vínculo: Bolsista, Enquadramento Funcional: Monitor, Carga horária: 12, Regime: Dedicação exclusiva.

    Outras informações:
    Disciplina ministrada: Circuitos Digitais

  • 2007 - 2007

    Universidade Federal do Piauí

    Vínculo: Bolsista, Enquadramento Funcional: Monitor, Carga horária: 12, Regime: Dedicação exclusiva.

    Outras informações:
    Disciplina ministrada: Circuitos Digitais

  • 2019 - Atual

    Universidade Federal do Ceará

    Vínculo: Servidor Público, Enquadramento Funcional: Professora assistente, Carga horária: 40, Regime: Dedicação exclusiva.

    Outras informações:
    Disciplinas ministradas: - Fundamentos de programação - Estruturas de dados

  • 2017 - 2019

    Universidade Federal do Ceará

    Vínculo: Celetista, Enquadramento Funcional: Professora assistente (temporário), Carga horária: 40

    Outras informações:
    Disciplinas ministradas: - Fundamentos de programação - Programação orientada a objetos - Fundamentos de banco de dados - Verificação e Validação