Sérgio Queiroz de Medeiros

  • Endereço para acessar este CV: http://lattes.cnpq.br/0310395336626784
  • Última atualização do currículo em 16/10/2018


Possui graduação e mestrado em Ciência da Computação pela UFRN e doutorado em Informática pela PUC-Rio. Atualmente é professor da Escola de Ciências e Tecnologia da UFRN e atua no Mestrado Profissional em Engenharia de Software. Desenvolve pesquisa na área de Linguagens de Programação, principalmente sobre o uso de novas técnicas de parsing. (Texto informado pelo autor)


Identificação


Nome
Sérgio Queiroz de Medeiros
Nome em citações bibliográficas
MEDEIROS, S.;Medeiros, Sérgio;MEDEIROS, S.Q.;MEDEIROS, SERGIO;DE MEDEIROS, SÉRGIO QUEIROZ

Endereço


Endereço Profissional
Universidade Federal do Rio Grande do Norte, Escola de Ciências e Tecnologia.
AC Universidade Federal do Rio Grande do Norte
Lagoa Nova
59078970 - Natal, RN - Brasil
Telefone: (84) 33422301
URL da Homepage: https://sites.google.com/site/sqmedeiros/


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


2006 - 2010
Doutorado em Informática.
Pontifícia Universidade Católica do Rio de Janeiro, PUC-Rio, Brasil.
Título: Correspondência entre PEGs e Classes de Gramáticas Livres de Contexto, Ano de obtenção: 2011.
Orientador: Roberto Ierusalimschy.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.
Palavras-chave: Gramáticas Livres de Contexto; Expressões Regulares; LL(k)-forte; LL(1); Gramáticas de Expressões de Parsing; CFGs.
Grande área: Ciências Exatas e da Terra
Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação / Especialidade: Linguagens de Programação.
2004 - 2006
Mestrado em Sistemas e Computação.
Universidade Federal do Rio Grande do Norte, UFRN, Brasil.
Título: Utilizando Programação Orientada a Aspectos no Projeto de Sistemas Hardware Desenvolvidos com SystemC,Ano de Obtenção: 2006.
Orientador: David Boris Paul Déharbe.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.
Palavras-chave: Programação Orientada a Aspectos; SystemC; AspectC++.
Grande área: Ciências Exatas e da Terra
Grande Á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.
Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação / Especialidade: Microeletrônica.
1999 - 2004
Graduação em Ciencia da Computação.
Universidade Federal do Rio Grande do Norte, UFRN, Brasil.
Título: Especificação e Verificação Formal do Modelo de Comunicação do Projeto Automação de Poços.
Orientador: David Boris Paul Déharbe.
Bolsista do(a): Agência Nacional de Petróleo, ANP, Brasil.




Formação Complementar


2004 - 2004
Pernambuco School on Software Engineering: Refinem. (Carga horária: 104h).
Universidade Federal de Pernambuco, UFPE, Brasil.


Atuação Profissional



Universidade Federal do Rio Grande do Norte, UFRN, Brasil.
Vínculo institucional

2013 - Atual
Vínculo: , Enquadramento Funcional: Professor Adjunto, Carga horária: 40, Regime: Dedicação exclusiva.
Outras informações
Professor da Escolha de Ciência e Tecnologia (ECT)

Vínculo institucional

2004 - 2004
Vínculo: Estágio Docência, Enquadramento Funcional: Bolsista de Mestrado

Atividades

05/2015 - Atual
Ensino, Engenharia de Software, Nível: Pós-Graduação

Disciplinas ministradas
Estruturas de Dados e Algoritmos
Fundamentos de Linguagens de Programação
07/2014 - Atual
Ensino, Tecnologia da Informação, Nível: Graduação

Disciplinas ministradas
Treinamento para Competições de Programação
01/2014 - Atual
Pesquisa e desenvolvimento , Escola de Ciências e Tecnologia, .

01/2014 - Atual
Ensino, Ciência e Tecnologia, Nível: Graduação

Disciplinas ministradas
Linguagem de Programação
Treinamento para Competições de Programação

Universidade Federal de Sergipe, UFS, Brasil.
Vínculo institucional

2011 - 2013
Vínculo: , Enquadramento Funcional: Professor Adjunto, Carga horária: 40, Regime: Dedicação exclusiva.

Atividades

03/2012 - 11/2013
Ensino, Ciência da Computação, Nível: Pós-Graduação

Disciplinas ministradas
Paradigmas de Linguagens de Programação
03/2011 - 11/2013
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Linguagens Formais e Computabilidade
Compiladores
04/2013 - 09/2013
Direção e administração, Centro de Ciências Exatas e Tecnologia, Departamento de Computação.

Cargo ou função
Chefe do Departamento.
11/2012 - 04/2013
Direção e administração, Centro de Ciências Exatas e Tecnologia, Departamento de Computação.

Cargo ou função
Vice-chefe do Departamento.

Pontifícia Universidade Católica do Rio de Janeiro, PUC-Rio, Brasil.
Vínculo institucional

2010 - 2011
Vínculo: Colaborador, Enquadramento Funcional: Prestador de Serviços, Carga horária: 40
Outras informações
Membro do Laboratório Tecgraf - Projeto PLANREF (Planejamento de Refinarias)

Vínculo institucional

2009 - 2009
Vínculo: Estágio Docência, Enquadramento Funcional: Bolsista de Doutorado


Universidade Federal do Rio de Janeiro, UFRJ, Brasil.
Vínculo institucional

2015 - Atual
Vínculo: Colaborador, Enquadramento Funcional: Colaborador em Projeto de Pesquisa



Linhas de pesquisa


1.
Parsing Expression Grammars (PEGs)

Objetivo: Estudo das relações entre PEGs e outros formalismos de análise sintática, e de como estender a semântica de PEGs para melhorar a aplicabilidade e a expressividade de PEGs..
Grande área: Ciências Exatas e da Terra
Palavras-chave: Parsing Expression Grammars; análise sintática; parsing; compiladores.


Projetos de pesquisa


2015 - Atual
Typed Lua: Um Dialeto Estaticamente Tipado para a Linguagem Lua
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) .
Integrantes: Sérgio Queiroz de Medeiros - Integrante / Fabio Mascarenhas - Coordenador.


Projetos de extensão


2011 - Atual
Maratona de Programação em Sergipe
Descrição: Preparar os alunos da UFS para a Maratona de Programação.
Situação: Em andamento; Natureza: Extensão.
Alunos envolvidos: Graduação: (9) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) .
Integrantes: Sérgio Queiroz de Medeiros - Integrante / Tarcisio da Rocha - Coordenador / Leila Maciel de Almeida e Silva - Integrante.Financiador(es): Fundação de Apoio à Pesquisa e à Inovação Tecnológica do Estado de Sergipe - Auxílio financeiro.


Projetos de desenvolvimento


2011 - 2012
Uso de PEGs para o casamento de padrões
Descrição: Projeto aprovado no PIBIC/UFS.
Situação: Em andamento; Natureza: Desenvolvimento.
Alunos envolvidos: Graduação: (1) .
Integrantes: Sérgio Queiroz de Medeiros - Coordenador.Número de orientações: 1


Revisor de periódico


2015 - 2015
Periódico: Fundamenta Informaticae
2017 - Atual
Periódico: SCIENCE OF COMPUTER PROGRAMMING


Áreas de atuação


1.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação/Especialidade: Linguagens de Programação.
2.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação.


Idiomas


Português
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Inglês
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.


Prêmios e títulos


2018
Melhor artigo do Simpósio Brasileiro de Linguagens de Programação (SBLP), Sociedade Brasileira de Computação.
2017
Medalha de Prata - Sétimo Lugar da Maratona de Programação (Coach), Sociedade Brasileira de Computação.
2016
Medalha de Bronze - Sétimo Lugar da Maratona de Programação (Coach), Sociedade Brasileira de Computação.
2015
Medalha de Bronze - Décimo Lugar da Maratona de Programação (Coach), Sociedade Brasileira de Computação.
2012
Melhor artigo do Simpósio Brasileiro de Linguagens de Programação (SBLP), Sociedade Brasileira de Computação.
2006
Trabalho selecionado entre os três melhores artigos para submissão ao IEEE Design & Test of Computers, XIX Brazilian Symposium on Integrated Circuits and Systems Design (SBCCI 2006).
2005
Medalha de Prata - Quarto Lugar da Maratona de Programação (Coach), Sociedade Brasileira de Computação.
2004
Medalha de Bronze - Décimo Lugar da Maratona de Programação (Coach), Sociedade Brasileira de Computação.


Produções



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

1.
MAIDL, ANDRÉ MURBACH2016 MAIDL, ANDRÉ MURBACH ; MASCARENHAS, FABIO ; Medeiros, Sérgio ; IERUSALIMSCHY, ROBERTO . Error reporting in Parsing Expression Grammars. Science of Computer Programming (Print), v. 132, p. 129-140, 2016.

2.
MASCARENHAS, FABIO2014 MASCARENHAS, FABIO ; Medeiros, Sérgio ; IERUSALIMSCHY, ROBERTO . On the relation between context-free grammars and parsing expression grammars. Science of Computer Programming (Print), v. 89 C, p. 235-250, 2014.

3.
Medeiros, Sérgio2014 Medeiros, Sérgio; MASCARENHAS, FABIO ; IERUSALIMSCHY, ROBERTO . Left recursion in Parsing Expression Grammars. Science of Computer Programming (Print), v. 96 - 2, p. 177-190, 2014.

4.
Medeiros, Sérgio2012 Medeiros, Sérgio; MASCARENHAS, FABIO ; IERUSALIMSCHY, ROBERTO . From regexes to parsing expression grammars. Science of Computer Programming (Print), v. 93 A, p. 3-18, 2012.

Capítulos de livros publicados
1.
MEDEIROS, S.Q.. Casamento de Padrões Usando uma Máquina Virtual de Parsing para PEGs. In: Maria Augusta Silveira Netto Nunes;Adicinéia Aparecida de Oliveira; Edward David Moreno Ordonez. (Org.). Projetos e Pesquisas em Ciência da Computação no DCOMP/PROCC/UFS. 1ed.São Cristóvão: Editora UFS, 2012, v. , p. 74-85.

2.
MEDEIROS, S.; DÉHARBE, David . Aspect-Oriented Design in SystemC: Implementation and Applications. In: Anamaria Martins Moreira; Umberto Souza da Costa. (Org.). DIMAp 20 anos - Artigos selecionados do IV Workshop Técnico Científico do DIMAp. Natal: EDUFRN, 2005, v. , p. 72-82.

Trabalhos completos publicados em anais de congressos
1.
Medeiros, Sérgio; MASCARENHAS, FABIO . Syntax error recovery in parsing expression grammars. In: the 33rd Annual ACM Symposium, 2018, Pau. Proceedings of the 33rd Annual ACM Symposium on Applied Computing - SAC '18. New York: ACM Press, 2018. p. 1195-1202.

2.
DE MEDEIROS, SÉRGIO QUEIROZ; MASCARENHAS, FABIO . Towards automatic error recovery in parsing expression grammars. In: the XXII Brazilian Symposium, 2018, Sao Carlos. Proceedings of the XXII Brazilian Symposium on Programming Languages - SBLP '18. New York: ACM Press, 2018. p. 3-10.

3.
Medeiros, Sérgio; MASCARENHAS, FABIO . A parsing machine for parsing expression grammars with labeled failures. In: the 31st Annual ACM Symposium, 2016, Pisa. Proceedings of the 31st Annual ACM Symposium on Applied Computing - SAC '16. New York: ACM Press. p. 1960-1967.

4.
ANJOS, E. P. ; MEDEIROS, S.Q. . A ferramenta RePeg para casamento de padrões baseada em PEGs. In: Workshop de Trabalhos de Iniciação Científica e de Graduação - WTICG-BASE, 2013, Aracaju. Anais do WTICG-BASE 2013, 2013.

5.
Medeiros, Sérgio; MASCARENHAS, FABIO ; IERUSALIMSCHY, ROBERTO . Left Recursion in Parsing Expression Grammars. In: Simpósio Brasileiro de Linguagens de Programação, 2012, Natal. Lecture Notes in Computer Science. Berlin: Springer, 2012. v. 7554. p. 27-41.

6.
MEDEIROS, S.; MASCARENHAS, F. ; IERUSALIMSCHY, R. . From Regular Expressions to PEGs. In: Brazilian Symposium on Programming Languages, 2011, São Paulo. Anais do II Congresso Brasileiro de Software, 2011.

7.
MASCARENHAS, F. ; MEDEIROS, S. ; IERUSALIMSCHY, R. . Parsing Expression Grammars for Structured Data. In: Brazilian Symposium on Programming Languages, 2011, São Paulo. Anais do II Congresso Brasileiro de Software, 2011.

8.
Medeiros, Sérgio; IERUSALIMSCHY, ROBERTO . A parsing machine for PEGs. In: the 2008 symposium, 2008, Paphos. Proceedings of the 2008 symposium on Dynamic languages - DLS '08. New York: ACM Press. p. 1-12.

9.
DÉHARBE, David ; MEDEIROS, SERGIO . Aspect-oriented design in systemC. In: the 19th annual symposium, 2006, Ouro Preto. Proceedings of the 19th annual symposium on Integrated circuits and systems design - SBCCI '06. New York: ACM Press. p. 119.

10.
ARAUJO, J. A. ; FARIAS, J. P. F. ; MEDEIROS, S. ; SALMITO, T. L. ; CANUTO, A. M. P. . iCraft - Using Multi-Agent Simulation on Real-Time Strategy Games. In: II Brazilian Workshop on Games and Digital Entertainment, 2003, Salvador. Anais do Wjogos'2003, 2003.

11.
MEDEIROS, S.; DÉHARBE, D. B. P. . BDDmeter - Uma Ferramenta para Visualização Dinâmica de BDDs. In: Simpósio Brasileiro de Engenharia de Software, 2001, Rio de Janeiro. Anais do SBES 2001, 2001.

Resumos expandidos publicados em anais de congressos
1.
MEDEIROS, S.; DÉHARBE, David . Aspect-Oriented Design in SystemC: Implementation and Applications. In: IV Workshop Técnico Científico do DIMAp, 2005, Natal, 2005.

2.
MEDEIROS, S.; DÉHARBE, D. B. P. . Especificação e Verificação Formal do Modelo de Comunicação do Projeto Automação de Poços. In: III Workshop Técnico Científico do DIMAp, 2004, Natal. Anais do III Workshop Técnico Científico do DIMAp, 2004.

3.
MEDEIROS, S.; SALMITO, T. L. ; ARAUJO, J. A. ; FARIAS, J. P. F. ; CANUTO, A. M. P. . iCraft - Uma abordagem multiagentes para jogos RTS. In: II Workshop Técnico e Científico do DIMAp, 2003, Natal. Anais do II Workshop Técnico e Científico do DIMAp, 2003.

4.
MEDEIROS, S.; DÉHARBE, D. B. P. . User-friendly tracing of BDDs. In: Fórum de Estudantes em Microeletrônica, 2001, Pirenópolis. Anais do Fórum de Estudantes em Microeletrônica, 2001.

Resumos publicados em anais de congressos
1.
Medeiros, Sérgio; SANTOS, J. T. S. ; CABRAL, H. C. ; ARAUJO FILHO, L. E. B. . Extensões de Gramáticas de Expressões de Parsing e suas Aplicações. In: Semana de Ciências e Tecnologia, 2017, Natal. Anais da V Semana de Ciências e Tecnologia, 2017. p. 32-33.

2.
MEDEIROS, S.; DÉHARBE, D. B. P. . BDDmeter - Um plug-in visual para bibliotecas de BDDs. In: Congresso de Iniciação Científica, 2002, Natal. Resumos do CIC 2002, 2002.

3.
MEDEIROS, S.; DÉHARBE, D. B. P. . BDDmeter - Visualização Dinâmica do Comportamento de BDDs. In: Congresso de Iniciação Científica, 2001, Natal. Anais do CIC 2001, 2001.

Artigos aceitos para publicação
1.
DE MEDEIROS, SÉRGIO QUEIROZ; MASCARENHAS, FABIO . Error Recovery in Parsing Expression Grammars Through Labeled Failures and its Implementation Based on a Parsing Machine. JOURNAL OF VISUAL LANGUAGES AND COMPUTING, 2018.

Apresentações de Trabalho
1.
MEDEIROS, S.. Interação entre Linguagens de Script e C: a abordagem de Lua. 2008. (Apresentação de Trabalho/Conferência ou palestra).

Outras produções bibliográficas
1.
MEDEIROS, S.Q.. Manual de Referência de Lua 5.2, 2014. (Tradução/Livro).

2.
MEDEIROS, S.. Programando em Lua, 2009. (Tradução/Livro).

3.
MEDEIROS, S.. Manual de Referência de Lua 5.1. Lua.org, 2007. (Tradução/Livro).


Produção técnica
Programas de computador sem registro
1.
MEDEIROS, S.. LuaSVN. 2008.

2.
MEDEIROS, S.; DÉHARBE, D. B. P. . BDDmeter. 2002.


Demais tipos de produção técnica
1.
CALUMBY, R. T. ; MEDEIROS, S.Q. . Anais do Workshop de Trabalhos de Iniciação Científica e Graduação da ERBASE. 2016. (Editoração/Anais).

2.
MEDEIROS, S.Q.; SENA, C. P. P. . Anais do Workshop de Inclusão Digital da ERBASE. 2015. (Editoração/Anais).

3.
MEDEIROS, S.Q.. Introdução à Maratona de Programação. 2014. (Curso de curta duração ministrado/Outra).

4.
MEDEIROS, S.Q.; SANTOS FILHO, J. V. . Anais do Workshop de Trabalhos de Pós-Graduação da ERBASE. 2014. (Editoração/Anais).

5.
MEDEIROS, S.. Lua: Conceitos Básicos e API C. 2008. (Desenvolvimento de material didático ou instrucional - Apostila).

6.
MEDEIROS, S.. Qt: Desenvolvendo Interfaces Gráficas em C++. 2005. (Curso de curta duração ministrado/Extensão).

7.
MEDEIROS, S.; FARIAS, J. P. F. . Python: Desenvolvendo para o Futuro. 2004. (Curso de curta duração ministrado/Extensão).

8.
MEDEIROS, S.; FARIAS, J. P. F. . Qt: Desenvolvendo Interfaces Gráficas em C++. 2003. (Curso de curta duração ministrado/Extensão).

9.
MEDEIROS, S.; FARIAS, J. P. F. . Qt: Desenvolvendo Interfaces Gráficas em C++. 2003. (Desenvolvimento de material didático ou instrucional - Apostila).

10.
MEDEIROS, S.; FARIAS, J. P. F. . Programando com Ferramentas GNU. 2002. (Curso de curta duração ministrado/Extensão).

11.
MEDEIROS, S.; FARIAS, J. P. F. . Programando com Ferramentas GNU. 2002. (Desenvolvimento de material didático ou instrucional - Apostila).



Patentes e registros



Programa de computador
1.
MEDEIROS, S.Q.. LPegLabel. 2018.
Patente: Programa de Computador. Número do registro: BR512018000905-0, data de registro: 08/06/2018, título: "LPegLabel" , Instituição de registro: INPI - Instituto Nacional da Propriedade Industrial.



Bancas



Participação em bancas de trabalhos de conclusão
Mestrado
1.
MUSICANTE, M. A.; COSTA, U. S.; OLIVEIRA, M. V. M.; MEDEIROS, S.Q.; BIGONHA, M. A. S.. Participação em banca de Ciro Morais Medeiros. Avaliação Top-Down de Consultas de Caminhos Livres-de-Contexto em Grafos. 2018. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.

2.
COSTA, U. S.; MUSICANTE, M. A.; OLIVEIRA, M. V. M.; MEDEIROS, SERGIO; BIGONHA, M. A. S.. Participação em banca de Fred de Castro Santos. A mechanism to evaluate context-free queries inspired in LR(1) parsers over graph databases. 2018. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.

3.
LIMA, G. A. F.; KULESZA, U.; MEDEIROS, S.Q.. Participação em banca de João Victor de Oliveira Neto. CodeTrack: Uma ferramenta para análise contínua de conflitos indiretos de Software. 2017. Dissertação (Mestrado em Engenharia de Software) - Universidade Federal do Rio Grande do Norte.

4.
KULESZA, U.; PINTO, F. A. P.; Medeiros, Sérgio; RAMALHO, F. S.. Participação em banca de Thiago David dos Santos Marinho. Uma Linguagem Específica de Domínio Extensível para Geração de Testes de Performance. 2016. Dissertação (Mestrado em Engenharia de Software) - Universidade Federal do Rio Grande do Norte.

5.
DANTAS, R. R.; Medeiros, Sérgio; AROCA, R. V.. Participação em banca de Thiago Fernandes Silva Dutra. BEEHIVEIOR MONITOR -Sistema de Controle e Monitoramento de Colmeias de Produção Apícola. 2016. Dissertação (Mestrado em Engenharia de Software) - Universidade Federal do Rio Grande do Norte.

6.
ARONCHI, J. C.; Burlamaqui, A.; MEDEIROS, S.; LEITE, L. E. C.. Participação em banca de Hugo Tácito Azevedo de Sena. TrendTV: Uma Arquitetura para Mudança Automática de Canais de TV Baseada em Redes Sociais Virtuais com Graus de Amizade e Suporte a Múltiplos Dispositivos no Cenário da TV Digital Brasileira. 2012. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal do Rio Grande do Norte.

7.
Burlamaqui, A.; LEITE, L. E. C.; MEDEIROS, S.. Participação em banca de Ricardo Alexandre da Rocha Dias. MultiArt - Uma API para Integração de Serviços Multimídia e Robótica com Espetáculos de Arte Telemática. 2012. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal do Rio Grande do Norte.

Teses de doutorado
1.
GONCALVES, L. M. G.; Burlamaqui, A.; LEITE, L. E. C.; SOUZA, A. A. S.; MEDEIROS, S.. Participação em banca de Samuel Oliveira de Azevedo. Arquitetura para Aplicações Interativas Imersivas de Televisão Digital. 2012. Tese (Doutorado em Engenharia Elétrica) - Universidade Federal do Rio Grande do Norte.

Qualificações de Doutorado
1.
Burlamaqui, A.; GONCALVES, L. M. G.; Medeiros, Sérgio. Participação em banca de Wellington Barbosa do Nascimento Júnior. Linguagem de Programação Gestual para Dispositivos Robóticos de uso Pessoal. 2015. Exame de qualificação (Doutorando em Engenharia Elétrica) - Universidade Federal do Rio Grande do Norte.

Qualificações de Mestrado
1.
MUSICANTE, M. A.; COSTA, U. S.; OLIVEIRA, M. V. M.; MEDEIROS, S.Q.. Participação em banca de Ciro Morais Medeiros. Consultas LL em Grafos RDF. 2017. Exame de qualificação (Mestrando em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.

2.
COSTA, U. S.; MUSICANTE, M. A.; OLIVEIRA, M. V. M.; MEDEIROS, S.Q.. Participação em banca de Fred de Castro Santos. A mechanism to evaluate context-free queries inspired in LR(1) parsers over graph databases. 2017. Exame de qualificação (Mestrando em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.

3.
KULESZA, U.; LIMA, G. A. F.; Medeiros, Sérgio. Participação em banca de João Victor de Oliveira Neto. Análise Contínua de Métricas de produtividade e prevenção de conflitos indiretos de Software. 2016. Exame de qualificação (Mestrando em Engenharia de Software) - Universidade Federal do Rio Grande do Norte.

4.
KULESZA, U.; PINTO, F. A. P.; Medeiros, Sérgio. Participação em banca de Thiago David dos Santos Marinho. Uma Linguagem de Domínio Específico Extensível para Geração de Testes de Desempenho. 2016. Exame de qualificação (Mestrando em Engenharia de Software) - Universidade Federal do Rio Grande do Norte.

5.
DÉHARBE, D. B. P.; BONICHON, R. W. A.; COSTA, U. S.; Medeiros, Sérgio. Participação em banca de Vítor Alcântara de Almeida. WPTrans: Um Assistente para Verificação de Programas em Frama-C. 2015. Exame de qualificação (Mestrando em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.

Trabalhos de conclusão de curso de graduação
1.
RIBEIRO, A. R. L.; ROCHA, T.; MEDEIROS, S.Q.. Participação em banca de Joanna Cecilia da Silva Santos.JOnline: Juiz Online para Ensino de Programação. 2013. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Universidade Federal de Sergipe.

2.
COX, K. K.; CHELLA, M. T.; MEDEIROS, S.. Participação em banca de Thadeu Henrique Rodrigues.Jogo com Realidade Aumentada para a Estimulação da Inteligência Linguística no Processo de Alfabetização. 2012. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Sergipe.

3.
OLIVEIRA, A. A.; COX, K. K.; MEDEIROS, S.. Participação em banca de Diego Santana Silveira.SMPSG: Proposta de Método para Utilização de SCRUM no Processo de Obtenção do Nível G do MPS.BR. 2012. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal de Sergipe.

4.
NETO, A.C.; DOSEA, M. B.; MEDEIROS, S.. Participação em banca de Rafael Nascimento Silva.Analisando e Comparando Abordagens de Especificação de Regras de Design no Sistema Orientado a Aspectos Paciente Virtual. 2012. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Sergipe.

5.
NETO, A.C.; DOSEA, M. B.; MEDEIROS, S.. Participação em banca de Vanessa Alves de Oliveira Lima.Análise Quali-quantitativa da Qualidade de Software do Módulo Acadêmico dos Sistemas Institucionais Integrados da UFS. 2012. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal de Sergipe.

6.
ROCHA, T.; SALGUEIRO, R. J. P. B.; MEDEIROS, S.. Participação em banca de Roberto Pizzi Gomes Neto.Um Mecanismo de Backup de Arquivos Pessoais Baseado em Servidores de Email. 2011. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal de Sergipe.

7.
COX, K. K.; ROCHA, T.; MEDEIROS, S.. Participação em banca de Arthur Silva Mateus.Sistema de Avaliação de Desempenho do Docente Substituto do DComp. 2011. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Sergipe.

8.
COX, K. K.; ROCHA, T.; MEDEIROS, S.. Participação em banca de Wesckley Faria Gomes.Aplicação Web para Gerenciamento de Trabalhos de Conclusão de Curso do DComp/UFS. 2011. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Sergipe.

9.
ROCHA, T.; SALGUEIRO, R. J. P. B.; MEDEIROS, S.. Participação em banca de Mário Victor Linhares Barbosa.Um Mecanismo de Backup de Arquivos Pessoais Baseado em Servidores de Email. 2011. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal de Sergipe.



Participação em bancas de comissões julgadoras
Concurso público
1.
DANTAS, D. O.; MEDEIROS, S.Q.; PALMA, G. F. L.. Concurso para professor efetivo na área de Computação Teórica e Algoritmos. 2015. Universidade Federal de Sergipe.

2.
SILVA, L. M. A. E.; DANTAS, D. O.; MEDEIROS, S.Q.. Concurso para professor efetivo na área de Computação Teórica e Algoritmos. 2014. Universidade Federal de Sergipe.

3.
ARAUJO, D. S. A.; MEDEIROS, S.Q.; HENRIQUES, M. V. C.. Concurso para professor Efetivo do curso de Engenharia da Computação. 2014. Universidade Federal Rural do Semi-Árido.

4.
MARTINS, I. M. S.; MEDEIROS, S.Q.; FERREIRA, L.; MEDEIROS, R. A. C.. Concurso para Professor Substituto para a Disciplina Linguagem de Programação. 2014. Universidade Federal do Rio Grande do Norte.

5.
DANTAS, D. O.; MEDEIROS, S.Q.; RIBEIRO, B. P.. Concurso para professor efetivo na área de Computação Teórica e Algoritmos. 2014. Universidade Federal de Sergipe.

6.
RAMOS, M. V. M.; MEDEIROS, S.; SANTOS FILHO, J. V.. Concurso para Professor Efetivo na área de Teoria da Computação. 2013. Universidade Federal do Recôncavo da Bahia.

7.
MEDEIROS, S.Q.; NETO, A.C.; LIMA, R. M. F.. Concurso para Professor Efetivo na área de Linguagens de Programação. 2013. Universidade Federal de Sergipe.

8.
MOTTA, T. O.; MEDEIROS, S.Q.; SA, C. C.. Concurso para Professsor Efetivo na área de Teoria da Computação. 2013. Universidade Federal do Recôncavo da Bahia.

9.
NETO, A.C.; Salgueiro, E.M.; MEDEIROS, S.. Seleção de professor substituto na area de Linguagens de Programaçao. 2012. Universidade Federal de Sergipe.

10.
MAIA, T. D.; ARAUJO, F. E. S.; MEDEIROS, S.. Concurso para Professor Efetivo na área de Aspectos Teóricos da Computação. 2012. Universidade Estadual de Feira de Santana.

11.
MEDEIROS, S.; RIBEIRO, B. P.; PRADO, B. O. P.. Seleção de professor substituto na area de Linguagens de Programaçao. 2012. Universidade Federal de Sergipe.

12.
ROCHA, T.; NETO, A.C.; MEDEIROS, S.. Seleção de professor substituto na área de Teoria da Computação. 2011. Universidade Federal de Sergipe.

13.
COX, K. K.; ESTOMBELO-MONTESCO, C. A.; MEDEIROS, S.. Seleção de professor substituto na área de Linguagens de Programação. 2011. Universidade Federal de Sergipe.

14.
NETO, A.C.; ESTOMBELO-MONTESCO, C. A.; MEDEIROS, S.. Seleção de professor substituto na area de Linguagens de Programaçao. 2011. Universidade Federal de Sergipe.

15.
COX, K. K.; ROCHA, T.; MEDEIROS, S.. Seleção de professor substituto na area de Linguagens de Programaçao. 2011. Universidade Federal de Sergipe.



Eventos



Participação em eventos, congressos, exposições e feiras
1.
Congresso de Iniciação Científica e Tecnológica da UFRN. Congresso de Iniciação Científica e Tecnológica da UFRN. 2017. (Congresso).

2.
Campus Party.Descobrindo Lua. 2009. (Encontro).

3.
Semana de Informática, Geotecnologias e Encontro de Software Livre em Santarém.Introdução à Linguagem Lua. 2009. (Encontro).

4.
Simpósio Brasileiro de Linguagens de Programação. 2009. (Congresso).

5.
Campus Party.Descobrindo Lua. 2008. (Encontro).

6.
Fórum Internacional de Software Livre.Interação entre Linguagens de Script e C: a abordagem de Lua. 2008. (Encontro).

7.
Primeira Fase da Maratona de Programação.Juiz da Maratona de Programação. 2007. (Outra).

8.
Principles of Programming Languages. 2007. (Congresso).

9.
Simpósio Brasileiro de Linguagens de Programação. 2007. (Simpósio).

10.
Primeira Fase da Maratona de Programação.Juiz da Maratona de Programação. 2006. (Outra).

11.
Simpósio Brasileiro de Linguagens de Programação. 2006. (Congresso).

12.
Symposium on Integrated Circuits and Systems Design. Aspect-Oriented Design in SystemC: Implementation and Applications. 2006. (Congresso).

13.
Maratona de Programação.Maratona de Programação. 2005. (Outra).

14.
Maratona de Programação.Maratona de Programação. 2004. (Outra).

15.
Pernambuco School on Software Engineering. 2004. (Outra).

16.
Simpósio Brasileiro de Métodos Formais. 2004. (Congresso).

17.
Maratona de Programação.Maratona de Programação. 2003. (Outra).

18.
Simpósio Brasileiro de Métodos Formais. 2003. (Congresso).

19.
Congresso da Sociedade Brasileira de Computação. 2002. (Congresso).

20.
Maratona de Programação.Maratona de Programação. 2002. (Outra).

21.
Congresso da Sociedade Brasileira de Computação. 2001. (Congresso).

22.
Fórum de Estudantes em Microeletrônica.User-friendly tracing of BDDs. 2001. (Seminário).

23.
Maratona de Programação.Maratona de Programação. 2001. (Outra).

24.
Simpósio Brasileiro de Concepção de Circuitos Integrados. 2001. (Congresso).

25.
Simpósio Brasileiro de Engenharia de Software. BDDmeter - Uma Ferramenta para Visualização Dinâmica de BDDs. 2001. (Congresso).

26.
Brazilian Symposium on Multimedia and the Web. 2000. (Congresso).

27.
Simpósio Brasileiro de Concepção de Circuitos Integrados. 1999. (Congresso).


Organização de eventos, congressos, exposições e feiras
1.
MEDEIROS, S.Q.; MATOS, L. N. . Escola Regional de Computação Bahia, Alagoas e Sergipe (ERBASE). 2013. (Outro).



Orientações



Orientações e supervisões concluídas
Dissertação de mestrado
1.
Henrique André Barbosa Bittencourt Dutra. Hermod: Uma plataforma de e-mail para apoiar a comunicação institucional. 2017. Dissertação (Mestrado em Engenharia de Software) - Universidade Federal do Rio Grande do Norte, . Orientador: Sérgio Queiroz de Medeiros.

Trabalho de conclusão de curso de graduação
1.
Davi Marques da Silva. Implementação de uma Máquina Virtual de Parsing para PEGs em Java. 2014. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal de Sergipe. Orientador: Sérgio Queiroz de Medeiros.

2.
Edman Paes dos Anjos. A Implementação da Ferramenta de Casamento de Padrões RePEG. 2013. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal de Sergipe. Orientador: Sérgio Queiroz de Medeiros.

3.
Wellder Luiz Batista Fontes. Estudo sobre Crimes Digitais Aplicado ao Caso Linkedin. 2013. Trabalho de Conclusão de Curso. (Graduação em Sistemas de Informação) - Universidade Federal de Sergipe. Orientador: Sérgio Queiroz de Medeiros.

4.
Adriel Moura Silva. Extração e Armazenamento de Dados do Portal Público do SIGAA. 2013. Trabalho de Conclusão de Curso. (Graduação em Sistemas de Informação) - Universidade Federal de Sergipe. Orientador: Sérgio Queiroz de Medeiros.

5.
Keith Emanuella da Silva Carvalho. Estudo sobre Crimes Digitais Aplicado ao Caso Linkedin. 2013. Trabalho de Conclusão de Curso. (Graduação em Sistemas de Informação) - Universidade Federal de Sergipe. Orientador: Sérgio Queiroz de Medeiros.

6.
Arian Dantas Meneses. Uma abordagem Open Data aplicada ao caso do Ministério Público de Sergipe. 2012. Trabalho de Conclusão de Curso. (Graduação em Sistemas de Informação) - Universidade Federal de Sergipe. Orientador: Sérgio Queiroz de Medeiros.

7.
Bráulio Livio Dias Cavalcante Junior. Uma abordagem Open Data aplicada ao caso do Ministério Público de Sergipe. 2012. Trabalho de Conclusão de Curso. (Graduação em Sistemas de Informação) - Universidade Federal de Sergipe. Orientador: Sérgio Queiroz de Medeiros.

Iniciação científica
1.
José Tobias Souza dos Santos. Avaliação e Melhoria das Mensagens de Erro Geradas por Parsers. 2018. Iniciação Científica. (Graduando em Ciência e Tecnologia) - Universidade Federal do Rio Grande do Norte, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Sérgio Queiroz de Medeiros.

2.
Victor Agnez Lima. Desenvolvimento e Avaliação de um Parser baseado em LPegLabel para uma Linguagem de Programação Real. 2018. Iniciação Científica. (Graduando em Tecnologia da Informação) - Universidade Federal do Rio Grande do Norte. Orientador: Sérgio Queiroz de Medeiros.

3.
Allan Messias de Oliveira Marques. Integração de um compilador para Portugol com a ferramenta Multiprova. 2016. Iniciação Científica. (Graduando em Ciência e Tecnologia) - Universidade Federal do Rio Grande do Norte. Orientador: Sérgio Queiroz de Medeiros.

4.
Alex Alves de Medeiros. Um ambiente de programação para Portugol. 2015. Iniciação Científica. (Graduando em Ciência e Tecnologia) - Universidade Federal do Rio Grande do Norte, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Sérgio Queiroz de Medeiros.

5.
Edman Paes dos Anjos. Conversão de regexes em PEGs. 2012. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal de Sergipe. Orientador: Sérgio Queiroz de Medeiros.

Orientações de outra natureza
1.
Benas Vaitkevicius. Parser Generator Based on LPeg(Label). 2017. Orientação de outra natureza - University of Edinburgh, Google. Orientador: Sérgio Queiroz de Medeiros.

2.
Matthew Allen Go. Improving the Quality of Error Messages in PEG Parsers. 2016. Orientação de outra natureza - De La Salle University, Google. Orientador: Sérgio Queiroz de Medeiros.



Inovação



Programa de computador registrado
1.
MEDEIROS, S.Q.. LPegLabel. 2018.
Patente: Programa de Computador. Número do registro: BR512018000905-0, data de registro: 08/06/2018, título: "LPegLabel" , Instituição de registro: INPI - Instituto Nacional da Propriedade Industrial.


Projetos de pesquisa



Página gerada pelo Sistema Currículo Lattes em 21/10/2018 às 2:47:08