Carlos Augusto Prolo

Possui graduação em Engenharia Eletrica pela Universidade Federal do Rio Grande do Sul (1985), mestrado em Computação pela Universidade Federal do Rio Grande do Sul (1990) e doutorado em Computer and Information Sciences - University of Pennsylvania (2003). Atualmente é professor adjunto da Universidade Federal do Rio Grande do Norte. Tem experiência na área de Ciência da Computação, com ênfase em Processamento de Linguagem Natural, atuando principalmente nos seguintes temas: processamento de linguagem natural, parsing, sintaxe, tree adjoining grammars, linguística computacional, machine learning for natural language, análise de complexidade de algoritmos e teoria da complexidade, teoria da computação, linguagens e autômatos.

Informações coletadas do Lattes em 21/01/2025

Acadêmico

Formação acadêmica

Doutorado em Computer And Information Sciences

1995 - 2003

University of Pennsylvania
Título: LR Parsing for Tree Adjoining Grammars and its Application to Corpus-based Natural Language Parsing
Orientador: Aravind K Joshi
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil. Palavras-chave: Natural Language; Parsing; LR Parsing; Natural Language Parsing; Deterministic Parsing; Statistical Parsing. Grande área: Ciências Exatas e da TerraGrande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação / Especialidade: Linguagem Formais e Autômatos. Grande Área: Lingüística, Letras e Artes / Área: Lingüística / Subárea: Teoria e Análise Lingüística. Setores de atividade: Informática.

Mestrado em Computação

1986 - 1990

Universidade Federal do Rio Grande do Sul
Título: ESTUDO COMPARATIVO DAS LINGUAGENS ESTELLE E LOTOS NA ESPECIFICACAO DE PROTOCOLOS, Ano de Obtenção: 1990
MAURIZIO TAZZA.Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil. Palavras-chave: Protocolos de Comunicacao; Especificao Formal; Lotos; Estelle.Grande área: Ciências Exatas e da TerraGrande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação / Especialidade: Teleinformática.

Graduação em Engenharia Eletrica

1981 - 1985

Universidade Federal do Rio Grande do Sul

Idiomas

Bandeira representando o idioma Inglês

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

Bandeira representando o idioma Espanhol

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

Bandeira representando o idioma Italiano

Compreende Pouco, Fala Pouco, Lê Razoavelmente.

Bandeira representando o idioma Francês

Lê Pouco.

Áreas de atuação

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Computacao Aplicada/Especialidade: Processamento de Linguagem Natural.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: Linguagem Formais e Autômatos.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: Análise de Algoritmos e Complexidade de Computação.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Aprendizado de Máquina.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Lingüística.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Bioinformática.

Organização de eventos

Carlos Augusto Prolo . X Brazilian Symposium in Information and Human Language Technology (STIL). 2015. (Congresso).

CANUTO, A. M. P. ; Prolo, C. A. ; XAVIER JUNIOR, J. C. ; Costa-Abreu, M.C. ; Santos, A.M. ; Vale, K. M. O . BRACIS. 2015. (Congresso).

MADEIRA, C. A. G. ; BRITO, A. L. S. ; Prolo, C. A. ; MEDEIROS, S. Q. ; JACOME, S. S. B. . Fase Regional da Maratona de Programação ACM-ICPC. 2015. .

MADEIRA, C. A. G. ; BRITO, A. L. S. ; MEDEIROS, S. Q. ; Prolo, C. A. ; JACOME, S. S. B. . Fase Regional da Maratona de Programação ACM-ICPC. 2014. .

VIEIRA, Renata ; STRUBE DE LIMA, Vera Lúcia ; Outros participantes ; PROLO, Carlos A. . 9th International Conference on Computational Processing of the Portuguese Language - PROPOR 2010. 2010. (Congresso).

Sarmento, Simone ; IBAÑOS, Ana Maria Tramunt ; Outros participantes ; PROLO, Carlos A. . IX Encontro de Linguística de Corpus (ELC 2010). 2010. (Congresso).

Sarmento, Simone ; IBAÑOS, Ana Maria Tramunt ; Outros participantes ; PROLO, Carlos A. . IV Escola Brasileira de Linguística Computacional (EBRALC 2010). 2010. (Congresso).

Participação em eventos

ACM ICPC 2017 World Finals. (Coach). 2018. (Olimpíada).

ACM ICPC - Maratona de Programação 2018 - Final Brasileira.(Coach). 2018. (Encontro).

ACM ICPC - Maratona de Programação 2018 - Regional. (Coach). 2018. (Olimpíada).

COLING 2018. Towards a Language for Natural Language Treebank Transductions. 2018. (Congresso).

XXIX Congresso de Iniciação Científica e Tecnológica da UFRN. Análise da influência do dipolo do Atlântico sobre a extensão da Piscina Quente Tropical Sudoeste. 2018. (Congresso).

XXIX Congresso de Iniciação Científica e Tecnológica da UFRN. Avaliação de Ruído em Incubadoras Neonatal. 2018. (Congresso).

XXIX Congresso de Iniciação Científica e Tecnológica da UFRN. Avaliação de Confiabilidade de TMR em um Acelerador Reconfigurável. 2018. (Congresso).

ACM ICPC 2016 World Finals. (Coach). 2017. (Olimpíada).

ACM ICPC - Maratona de Programação 2017 - Final Brasileira. (Coach). 2017. (Olimpíada).

ACM ICPC - Maratona de Programação 2017 - Regional. (Coach). 2017. (Olimpíada).

XI Brazilian Symposium in Information and Human Language Technology (STIL). 2017. (Simpósio).

ACM ICPC - Maratona de Programação 2016 - Final Brasileira. (Coach). 2016. (Olimpíada).

ACM ICPC - Maratona de Programação 2016 - Regional. (Coach). 2016. (Olimpíada).

ACM ICPC - Maratona de Programação 2015 - Regional. (Coach). 2015. (Olimpíada).

X Brazilian Symposium in Information and Human Language Technology (STIL). 2015. (Simpósio).

ACM ICPC - Maratona de Programação 2014 - Regional. (Coach). 2014. (Olimpíada).

ACM ICPC - Maratona de Programação 2013. (Coach). 2013. (Olimpíada).

ACM ICPC - Maratona de Programação 2013 - Final Brasileira. (Coach). 2013. (Olimpíada).

9th International Conference on Computational Processing of the Portuguese Language - PROPOR 2010. Session chair for the Invited Talk profered by Robert Dale. 2010. (Congresso).

Sixth international conference on Language Resources and Evaluation - LREC 2008. Keywords, k-NN and Neural Networks: a Support for Hierarchical Categorization of Texts in Brazilian Portuguese (in name of Susana Azeredo, Silvia Moraes and Vera Lima). 2008. (Congresso).

5º Workshop em Tecnologia da Informação e da Linguagem Humana - TIL'2007.Extracting Visions from Textual Requirements Documents. 2007. (Oficina).

4th Workshop in Information and Human Language Technology - TIL'2006.Coordenador de Comite de Programa. 2006. (Oficina).

International Joint Conference IBERAMIA/SBIA/SBRN'2006. 2006. (Congresso).

3º Workshop em Tecnologia da Informação e da Linguagem Humana - TIL'2005. 2005. (Oficina).

XXV Congresso da Sociedade Brasileira de Computação - SBC 2005. 2005. (Congresso).

40th Annual Meeting of the ACL (ACL'02). 2002. (Congresso).

6th International Workshop on Tree Adjoining Grammars and Related Frameworks (TAG+6).Systematic Grammar Development in the XTAG Project. 2002. (Outra).

COLING 2002 Workshop on Grammar Engineering and Evaluation.Panel on Grammar Formalisms. 2002. (Oficina).

COLING 2002 Workshop on Grammar Engineering and Evaluation.Coping with Problems in Grammars Automatically Extracted from Treebanks; A Classification of Grammar Development Stratetgies. 2002. (Outra).

Seventh Conference on Empirical Methods in Natural Language Processing (EMNLP 2002). Fast LR Parsing Using Rich (Tree Adjoining) Grammars. 2002. (Congresso).

The 19th International Conference on Computational Linguistics (COLING 2002). Generating the XTAG English Grammar Using Metarules. 2002. (Congresso).

Third International Conference on Language Resources and Evaluation (LREC 2002). Identifying Verb Arguments and their Syntactic Function in the Penn Treebank. 2002. (Congresso).

Sixth International Workshop on Parsing Technologies (IWPT 2000).An Efficient LR Parser Generator for Tree Adjoining Grammars. 2000. (Oficina).

37th Annual Meeting of the ACL (ACL'99). 1999. (Congresso).

Jornada de Computacao da USP.Evaluation of semantic rules in an Attribute Grammar. 1994. (Outra).

Participação em bancas

Aluno: Verner Rafael Ferreira

CAMPOS, A. M. C.;PROLO, Carlos A.; CANUTO, A. M. P.; TINOCO, G. M. A. M.; PARDO, T. A. S.. Análise morfossintática aplicada ao processo de sumarização automática de documentos do português brasileiro. 2014. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.

Aluno: Flipipi Pereira da Silveira

STRUBE DE LIMA, Vera Lúcia; SILVEIRA, M. S.; ALUÍSIO, Sandra M.;PROLO, Carlos A.. Integração de Ferramentas para Compilação e Exploração de Corpora. 2008. Dissertação (Mestrado em Ciência da Computação) - Pontifícia Universidade Católica do Rio Grande do Sul.

Aluno: Márcio Dorn

NORBERTO DE SOUZA, O.; CLAUDIO, Dalcídio Moraes;PROLO, Carlos A.. Uma Proposta para a Predição Computacional da Estrutura 3D Aproximada de Polipeptídeos com Redução do Espaço Conformacional Utilizando Análise de Intervalos. 2008. Dissertação (Mestrado em Ciência da Computação) - Pontifícia Universidade Católica do Rio Grande do Sul.

Aluno: Marcos Borba Cardoso

NORBERTO DE SOUZA, O.; CLAUDIO, Dalcídio Moraes;PROLO, Carlos A.. Uma Proposta para a Predição Computacional da Estrutura Terciária de Polipeptídeos. 2007. Dissertação (Mestrado em Ciência da Computação) - Pontifícia Universidade Católica do Rio Grande do Sul.

Aluno: Leonardo Cavalheiro Langie

PROLO, Carlos A.; OLIVEIRA, João Batista Souza de; FINGER, Marcelo. Um estudo sobre aplicação do algoritmo kNN à categorização hierárquica de textos. 2003. Dissertação (Mestrado em Ciência da Computação) - Pontifícia Universidade Católica do Rio Grande do Sul.

Aluno: Ivan Mezzomo

BEDREGAL, B. R. C.;PROLO, Carlos A.; MESQUITA, M. E. R. V.; SANTIAGO, R. H. N.; REISER, R. H. S.. On fuzzy ideals and fuzzy filters of fuzzy lattices. 2013. Tese (Doutorado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.

Aluno: Gabriela Betania Hinrichs Conteratto

IBAÑOS, Ana Maria Tramunt; MARRAFA, Palmira; FOLTRAN, Maria José;PROLO, Carlos A.; COSTA, Jorge Campos da. Adjetivos: uma representação linguiístico-computacional.. 2009. Tese (Doutorado em Lingüística e Letras) - Pontifícia Universidade Católica do Rio Grande do Sul.

Aluno: Gabriel de Avila Othero

COSTA, Jorge Campos da; SCHAF FILHO, Matias; PERINI, Mário A.;PROLO, Carlos A.; IBAÑOS, Ana Maria Tramunt. A Gramática da sentença em português: uma descrição formal com um ?olho? na implementação computacional. 2009. Tese (Doutorado em Lingüística e Letras) - Pontifícia Universidade Católica do Rio Grande do Sul.

Aluno: Victor Pereira Ferreira

MOREIRA, A. M.;PROLO, Carlos A.; Antunes, Cleverton H.. Adaptabilidade da ferramenta de geração de testes LGen pela inclusão de novos critérios de cobertura. 2013. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal do Rio Grande do Norte.

Carlos Augusto Prolo; VIANA, J. P.; Luiz Affonso Henderson Guedes de Oliveira. Professor Adjunto. 2015. Universidade Federal do Rio Grande do Norte.

PROLO, Carlos A.; MARCOS, J.; HAEUSLER, E. H.; PIMENTEL, E. G.. Professor Adjunto. 2014. Universidade Federal do Rio Grande do Norte.

PROLO, Carlos A.; FIGUEIRA FILHO, F.; MIRANDA, L. C.. Professor Substituto. 2013. Universidade Federal do Rio Grande do Norte.

PROLO, Carlos A.. Avaliação de projetos no Comitê PIPE. 2014. Fundação de Amparo à Pesquisa do Estado de São Paulo.

PROLO, Carlos A.. Parecer de mérito sobre atividades acadêmicas. 2008. Universidade de São Paulo.

Orientou

Paulo Augusto de Lima Medeiros

Implementação do Part-of-speech tagger para português e extensões utilizando técnicas de deep learning; Início: 2018; Iniciação científica (Graduando em Tecnologia da Informação) - Universidade Federal do Rio Grande do Norte; (Orientador);

Felipe Cortez de Sá

Geração de prosódia para o português brasileiro em sistemas text-to-speech; 2018; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal do Rio Grande do Norte; Orientador: Carlos Augusto Prolo;

Alexandre Ferreira dos Santos

Transdução em Treebanks; 2011; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Pontifícia Universidade Católica do Rio Grande do Sul; Orientador: Carlos Augusto Prolo;

Diego Rahn Medaglia

Análise da Predição de Estrutura Secundária de Proteínas baseada em Máquinas de Vetor de Suporte; 2010; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Pontifícia Universidade Católica do Rio Grande do Sul; Orientador: Carlos Augusto Prolo;

Rodrigo Rafael Monti Kochenburger; Marlon Gomes Lopes

Parsing Probabilístico para a Língua Portuguesa; 2009; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Pontifícia Universidade Católica do Rio Grande do Sul; Orientador: Carlos Augusto Prolo;

Leandro Carbonera e Rodrigo Ferri

YAPOST - Yet Another Part-Of-Speech Tagger; 2005; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Pontifícia Universidade Católica do Rio Grande do Sul; Orientador: Carlos Augusto Prolo;

Waldir Walter Jr

; Gerador de parsers pelo metodo MLR; 1994; 0 f; Trabalho de Conclusão de Curso; (Graduação em Informatica) - Pontifícia Universidade Católica do Rio Grande do Sul; Orientador: Carlos Augusto Prolo;

Daniel Antonio Callegari

Projeto ProGramma / Projeto Pascal; 1994; 0 f; Trabalho de Conclusão de Curso; (Graduação em Informatica) - Pontifícia Universidade Católica do Rio Grande do Sul, Fundação de Amparo à Pesquisa do Estado do Rio Grande do Sul; Orientador: Carlos Augusto Prolo;

Marcio Zago de Andrade

Morpheus- Compilador Asimov para linguagem funcional; 1993; 0 f; Trabalho de Conclusão de Curso; (Graduação em Informatica) - Pontifícia Universidade Católica do Rio Grande do Sul; Orientador: Carlos Augusto Prolo;

Gilberto Carlos Walker

Uma experiencia inicial no tratamento de linguagem natural; 1993; 0 f; Trabalho de Conclusão de Curso; (Graduação em Informatica) - Pontifícia Universidade Católica do Rio Grande do Sul; Orientador: Carlos Augusto Prolo;

Carlos Alberto de Oliveira Miranda

Avaliacao de regras semanticas em uma gramatica de atributos; 1992; 0 f; Trabalho de Conclusão de Curso; (Graduação em Informatica) - Pontifícia Universidade Católica do Rio Grande do Sul, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Carlos Augusto Prolo;

Alexandre Collato

Gerador de reconhecedores de linguagens para GLC utilizando metodo de Earley; 1991; 0 f; Trabalho de Conclusão de Curso; (Graduação em Informatica) - Pontifícia Universidade Católica do Rio Grande do Sul; Orientador: Carlos Augusto Prolo;

Alex Pato Hoffman

Integracao de um gerador de parsers pelo metodo MLR com um avaliador de atributos; 1995; 0 f; Iniciação Científica; (Graduando em Informatica) - Pontifícia Universidade Católica do Rio Grande do Sul, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Carlos Augusto Prolo;

Gilberto Carlos Walker

Projetos Lexis e Compilador Pascal; 1993; 0 f; Iniciação Científica; (Graduando em Informatica) - Pontifícia Universidade Católica do Rio Grande do Sul, Fundação de Amparo à Pesquisa do Estado do Rio Grande do Sul; Orientador: Carlos Augusto Prolo;

Carlos Alberto de Oliveira Miranda

Projeto ProGramma; 1993; 0 f; Iniciação Científica; (Graduando em Informatica) - Pontifícia Universidade Católica do Rio Grande do Sul, Fundação de Amparo à Pesquisa do Estado do Rio Grande do Sul; Orientador: Carlos Augusto Prolo;

Produções bibliográficas

  • SOUZA, ARTHUR ; FIGUEREDO, MICKAEL ; Cacho, Nélio ; ARAÚJO, DANIEL ; Prolo, Carlos A. . Using Big Data and Real-Time Analytics to Support Smart City Initiatives. IFAC-PAPERSONLINE , v. 49, p. 257-262, 2016.

  • STRUBE DE LIMA, Vera Lúcia ; PROLO, Carlos A. . Introduction to the issue: From Natural Language Processing to Information and Human Language Technology. Inteligencia Artificial , v. 11, p. 5-7, 2007.

  • PROLO, Carlos A. . Computational Approaches to Pronoun Resolution. Letras de Hoje , v. 41, p. 139-188, 2006.

  • QUARESMA, Paulo ; RODRIGUES, Irene ; PROLO, Carlos A. ; VIEIRA, Renata . Um sistema de Pergunta-Resposta para uma base de Documentos. Letras de Hoje , v. 41, p. 43-63, 2006.

  • PROLO, Carlos A. ; HESSEL, Fabiano P. (Org.) ; SAYÃO, Míriam (Org.) . ENADE Comentado 2008: Computação. 1. ed. Porto Alegre: EDIPUCRS, 2009. v. 1. 184p .

  • Cacho, Andrea ; FIGUEREDO, MICKAEL ; Cassio, Arthur ; Araujo, Maria Valeria ; Mendes, Luiz ; Lucas, José ; FARIAS, HIARLEY ; COELHO, JAZON ; Cacho, Nélio ; PROLO, Carlos . Social Smart Destination: A Platform to Analyze User Generated Content in Smart Tourism Destinations. Advances in Intelligent Systems and Computing. 1ed.: Springer International Publishing, 2016, v. , p. 817-826.

  • Flávio M. Oliveira ; Carlos A. Prolo ; Avelino F. Zorzo ; Gilberto K. Andrade. . ENADE Comentado-Computação: Compartilhando Contribuições para a Avaliação de Cursos. In: Jorge Luis Nicolas Audy; Marília Costa Morosini. (Org.). Inovação, universidade e relação com a sociedade. 1ed.Porto Alegre: EDIPUCRS, 2009, v. , p. 203-212.

  • PROLO, Carlos A. . An Efficient LR Parser Generator for Tree-Adjoining Grammars. In: Harry Bunt; John Carroll; Giorgio Satta. (Org.). New Developments in Parsing Technology. 1ed.Dordrecht: Kluwer Academic Publishers, 2004, v. , p. 125-155.

  • MEDEIROS, P. A. L. ; BEZERRA, B. ; Prolo, Carlos A. ; THOME, Antônio C. . Part-of-Speech Embeddings for Portuguese. In: XII Symposium in Information and Human Language Technology, 2019, Salvador. XII Symposium in Information and Human Language Technology, 2019.

  • Prolo, Carlos A. . Towards a Language for Natural Language Treebank Transductions. In: The 27th International Conference on Computational Linguistics (COLING 2018), 2018, Santa Fe, New Mexico, USA. Proceedings of the 27th International Conference on Computational Linguistics (COLING 2018), 2018.

  • SOUZA, ARTHUR ; FIGUEREDO, MICKAEL ; CACHO, NELIO ; ARAUJO, DANIEL ; COELHO, JAZON ; Prolo, Carlos A. . Social smart city: A platform to analyze social streams in smart city initiatives. In: 2016 IEEE International Smart Cities Conference (ISC2), 2016, Trento. 2016 IEEE International Smart Cities Conference (ISC2), 2016. p. 1.

  • Cassio, A. ; FIGUEREDO, MICKAEL ; CACHO, NELIO ; Sabino, Daniel ; Prolo, C. A. . Using Big Data and Real Time Analytics to Support Smart City Initiatives. In: 4th Symposium on Telematics Applications, 2016, Porto Alegre. Proceedings of the 4th Symposium on Telematics Applications, 2016.

  • TREUDE, CHRISTOPH ; Prolo, Carlos A. ; FILHO, FERNANDO FIGUEIRA . Challenges in Analyzing Software Documentation in Portuguese. In: 2015 29th Brazilian Symposium on Software Engineering (SBES), 2015, Belo Horizonte-MG. 2015 29th Brazilian Symposium on Software Engineering, 2015. p. 179-184.

  • Fernandes, Paulo Henrique Lemelle ; Lopes, Lucelene ; Prolo, Carlos ; Sales, Afonso ; VIEIRA, Renata . A Fast, Memory Efficient, Scalable and Multilingual Dictionary Retriever. In: Eighth International Conference on Language Resources and Evaluation - LREC 2012, 2012, Istambul. Proceedings of the Eighth International Conference on Language Resources and Evaluation - LREC 2012, 2012.

  • SAYÃO, Míriam ; PROLO, Carlos A. . Extracting Visions from Textual Requirements Documents. In: 5º Workshop em Tecnologia da Informação e da Linguagem Humana - TIL'2007, 2007, Rio de Janeiro, Brazil. Anais do XXVI Congresso da Sociedade Brasileira de Computação, 2007. v. 1. p. 1699-1708.

  • PROLO, Carlos A. . Generating the XTAG English Grammar Using Metarules. In: The 19th International Conference on Computational Linguistics (COLING 2002), 2002, Taipei. Proceedings of the 19th International Conference on Computational Linguistics (COLING 2002), 2002.

  • PROLO, Carlos A. . Coping with Problems in Grammars Automatically Extracted from Treebanks. In: COLING 2002 Workshop on Grammar Engineering and Evaluation, 2002, Taipei. Proceedings of the COLING 2002 Workshop on Grammar Engineering and Evaluation, 2002.

  • KINYON, A. ; PROLO, Carlos A. . A Classification of Grammar Development Stratetgies. In: COLING 2002 Workshop on Grammar Engineering and Evaluation, 2002, Taipei. Proceedings of the COLING 2002 Workshop on Grammar Engineering and Evaluation, 2002.

  • PROLO, Carlos A. . Systematic Grammar Development in the XTAG Project. In: 6th International Workshop on Tree Adjoining Grammars and Related Frameworks (TAG+6), 2002, Veneza. Proceedings of the 6th International Workshop on Tree Adjoining Grammars and Related Frameworks (TAG+6), 2002.

  • KINYON, A. ; PROLO, Carlos A. . Identifying Verb Arguments and their Syntactic Function in the Penn Treebank. In: Third International Conference on Language Resources and Evaluation (LREC 2002), 2002, Las Palmas. Proceedings of the Third International Conference on Language Resources and Evaluation (LREC 2002), 2002.

  • PROLO, Carlos A. . Fast LR Parsing Using Rich (Tree Adjoining) Grammars. In: Seventh Conference on Empirical Methods in Natural Language Processing (EMNLP 2002), 2002, Philadelphia. Proceedings of the Seventh Conference on Empirical Methods in Natural Language Processing (EMNLP 2002), 2002.

  • PROLO, Carlos A. . An Efficient LR Parser Generator for Tree Adjoining Grammars. In: Sixth International Workshop on Parsing Technologies (IWPT 2000), 2000, Trento. Procedings do Sixth Int. workshop on Parsing Technologies (IWPT 2000), 2000. p. 207-218.

  • PROLO, Carlos A. . Modelagem do metodo de acesso CSMA/CD a redes de computadores por meio de Redes de Petri. In: XIV Seminario Integrado de Software e Hardware, 1987, Salvador, BA. Anais do XIV SEMISH, 1987.

  • PROLO, Carlos A. . Interface Para Ligacao de Um Tracador Grafico A Um Sistema de Computacao.. In: XII SEMINARIO INTEGRADO DE SOFTWARE E HARDWARE (V CONGRESSO SBC), 1985, Porto Alegre. Anais do XII SEMISH. PORTO ALEGRE, RS, 1985. p. 0-0.

  • FIGUEREDO, MICKAEL ; RIBEIRO, JOSÉ ; EMANUEL, ARTHUR ; CACHO, ANDRÉA ; FARIAS, HIARLEY ; COELHO, JAZON ; PROLO, Carlos ; CACHO, NELIO . Using Social Network to Support Smart City Initiatives. In: the 21st Brazilian Symposium, 2015, Manaus. Proceedings of the 21st Brazilian Symposium on Multimedia and the Web - WebMedia '15, 2015. p. 101-104.

  • PROLO, Carlos A. . Handling Unlike Coordinated Phrases in TAG by Mixing Syntactic Category and Grammatical Function. In: Eighth International Workshop on Tree Adjoining Grammar and Related Formalisms (TAG+8), 2006, Sydney, Australia. Proceedings of the Eighth International Workshop on Tree Adjoining Grammar and Related Formalisms (TAG+8), 2006. p. 137-140.

  • PROLO, Carlos A. ; QUARESMA, Paulo ; RODRIGUES, Irene ; SALGUEIRO, Pedro ; VIEIRA, Renata . A Question-Answering System for Portuguese. In: KRAQ'05 - IJCAI Workshop on Knowledge and Reasoning for Answering Questions, 2005, Edimburgh. KRAQ'05 - IJCAI Workshop on Knowledge and Reasoning for Answering Questions, 2005. p. 45-48.

  • PROLO, Carlos A. . Evaluation of semantic rules in an Attribute Grammar. In: Jornada de Computacao da USP, 1994, Sao Paulo. Anais da Academia Brasileira de Ciencias, 1994. v. 66.

  • Carlos A. Prolo . Minicourse: Reasoning with Natural Language. 2015. (Apresentação de Trabalho/Outra).

Outras produções

KIMANZI, M. ; KOWEY, E. ; PROLO, Carlos A. ; SARKAR, Anoop ; SCHULER, W. ; XIA, F. . XTAG Project English Grammar and Parser Development. 2001.

Prolo, Carlos Augusto . Program Committee Member 15th International Conference on Computational Processing of Portuguese Language - PROPOR 2022. 2022.

PROLO, Carlos Augusto . Scientific Committee of the 13th edition of the Language Resources and Evaluation Conference - LREC 2022. 2022.

PROLO, Carlos Augusto . Participação do Comitê de Programa do 13º Brasiliam Symposium in Information and Human Language Technology - STIL'2021. 2021.

PROLO, Carlos Augusto . Program Committee Member 14th International Conference on Computational Processing of Portuguese Language - PROPOR 2020. 2020.

Carlos A. Prolo ; OLIVEIRA, Leandro H. M. . PC chair: The 12th Brazilian Symposium in Information and Human Language Technology - STIL 2019. 2019.

Prolo, Carlos A. . Program Committee Member 13th International Conference on Computational Processing of Portuguese Language - PROPOR 2018. 2018.

Prolo, Carlos A. . Membro do Comitê de Programa do 31º Concurso de Teses e Dissertações (CTD). 2018.

Prolo, Carlos A. . Scientific Committee of the 11th edition of the Language Resources and Evaluation Conference - LREC 2018. 2018.

Prolo, Carlos A. . Participação do Comitê de Programa do XI Brasiliam Symposium in Information and Human Language Technology - STIL'2015. 2017.

Carlos A. Prolo . Program Committee Member 12th International Conference on Computational Processing of Portuguese Language - PROPOR 2016. 2016.

Carlos A. Prolo . Scientific Committee of the 10th edition of the Language Resources and Evaluation Conference - LREC 2016. 2016.

Carlos A. Prolo . Participação do Comitê de Programa do 10th Brasiliam Symposium in Information and Human Language Technology - STIL'2015. 2015.

PROLO, Carlos A. . Program Committee Member 11th International Conference on Computational Processing of Portuguese Language - PROPOR 2014. 2014.

PROLO, Carlos A. . Participação do Comitê de Programa do 9th Brasiliam Symposium in Information and Human Language Technology - STIL'2013. 2013.

PROLO, Carlos A. . Program Committee Member International Conference on Computational Processing of Portuguese Language - PROPOR 2012. 2012.

PROLO, Carlos A. . Participação do Comitê de Programa do 8th Brasiliam Symposium in Information and Human Language Technology - STIL'2009. 2011.

PROLO, Carlos A. . Program Committee Member International Conference on Computational Processing of Portuguese Language - PROPOR 2010. 2010.

PROLO, Carlos A. . Participação do Comitê de Programa do 7th Brasiliam Symposium in Information and Human Language Technology - STIL'2009. 2009.

PROLO, Carlos A. . Program Committee Member International Conference on Computational Processing of Portuguese Language - PROPOR 2008. 2008.

PROLO, Carlos A. . Membro do Comitê de Programa do 5º Workshop em Tecnologia da Informação e da Linguagem Humana - TIL'2007. 2007.

PROLO, Carlos A. ; STRUBE DE LIMA, Vera Lúcia . Coordenador do Comitê de Programa do 4th Workshop in Information and Human Language Technology TIL'2006. 2006.

Prolo, Carlos Augusto . Program Committee Member 7th Workshop on Computational Processing of Written and Spoken Portuguese. 2006.

PROLO, Carlos A. . Membro do Comitê de Programa do 3º Workshop em Tecnologia da Informação e da Linguagem Humana - TIL'2005. 2005.

PROLO, Carlos A. . Membro do Comitê de Programa do XVIII Concurso de Teses e Dissertações (CTD). 2005.

PROLO, Carlos A. . Membro do Comitê de Programa do 2º Workshop em Tecnologia da Informação e da Linguagem Humana - TIL'2004. 2004.

BLEAM, Tonia ; HAN, C. H. ; PRASAD, Rashmi ; PROLO, Carlos A. ; SARKAR, Anoop . A Lexicalized Tree Adjoining Grammar for English. 2001.

MANDOW, L. ; STRUBE DE LIMA, Vera Lúcia ; PROLO, Carlos A. . From Natural Language Processing to Information and Human Language Technology (Special issue of the Revista Iberoamericana de Inteligencia Artificial). 2007. (Editoração/Periódico).

Projetos de pesquisa

  • 2018 - Atual

    Reasoning with Natural Language, Descrição: In human dialogs, participants conventionally do not follow straightforwardly the inference models that one could naively try to impose to them. However, strangely enough, they are still aware of these models to different extents. An interesting intertwining between inferential logic, lexical contents, common sense, world knowledge, and other not so clearly understood aspects of language, which govern human communication, are also used in jokes, and give rise to fallacious arguments, misunderstandings, fights, arbitration and, of course, funny robot talking in movies. The main purpose of this project is to arise in the students a taste for the challenges waiting to be tackled if we want some day to do automated processing of natural language in a minimally interesting way. We will do it analysing situation comedies, movies and texts searching for interesting patterns that contradict the common sense that the classical approaches to logical inference can be used with natural language trying to understand what is required of a reasoning system so that it can be used with natural language. The project is multidisciplinary by nature. We chose to insert it in Computer Science, because our ultimate goal is to acquire insights towards what is required of an Artificial intelligence system to deal with human language reasoning. But it is certainly strongly connected to Philosophy, Linguistics and Psychology among other fields related to Cognitive Science.. , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Carlos Augusto Prolo - Coordenador / Izabel Augusta Hazin Pires - Integrante / João Marcos de Almeida - Integrante / Juliana Teixeira da Câmara Reis - Integrante.

  • 2018 - Atual

    Part-of-speech tagger para português e extensões utilizando técnicas de deep learning, Descrição: Em processamento de linguagem natural (PLN), part-of speech tagging é a tarefa de atribuir, a cada palavra de uma sentença da língua, sua classe morfossintática ou parte do discurso (em inglês part-of-speech). Um part-of-speech tagger - PoS tagger, é uma ferramenta que executa automaticamente tal tarefa. PoS tagging é uma das tarefas mais fundamentais para qualquer ferramenta de PLN. Dela dependem a análise sintática e de dependências de constituintes, análises semânticas, extração de entidades, até tradução automática e sistemas de perguntas e respostas. Entre as dificuldades de tal processo está a ambiguidade morfossintática das palavras, mesmo em uma língua com morfologia rica, altamente flexionada, como a língua portuguesa. Assim, note-se as sentenças abaixo, anotadas com as PoS entre parênteses. (1) Mesmo (conjunção) na (preposição+artigo) China (nome próprio) eu (pronome pessoal) não (advérbio) como (verbo) cachorro (substantivo). (2) Ela (pronome pessoal) me (pronome oblíquo) trata (verbo) como (conjunção) um (artigo) cachorro (substantivo). Na primeira a palavra "como" é um verbo, na segunda é uma conjunção. A comunidade científica de NLP da lingua portuguesa ainda se ressente de ferramentas de POS tagging e parsing (análise sintática) disponíveis para o português, com qualidade aceitável. O recente boom da área de Deep Learning faz com que toda a comunidade de Machine Learning se recicle para revisar suas técnicas e ferramentas tentando incorporar as vantagens que o DL pode propiciar em termos de eficácia e eficiência das ferramentas. Este projeto busca finalmente construir um PoS tagger para o Português, eficaz e eficiente, incorporando o que se sabe hoje sobre Deep Learning.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) . , Integrantes: Carlos Augusto Prolo - Coordenador / Eduardo Aranha - Integrante / Antônio Carlos Thomé - Integrante.

  • 2015 - Atual

    SocialSmartCity: Uso de Processamento Natural de Linguagem na extração de eventos em Cidades Inteligentes, Descrição: Resumo Cidades Inteligentes são compostas por sistemas complexos que envolvem componentes físicos e sociais. Atualmente os trabalhos que buscam extrair e identificar eventos em cidades inteligentes são baseados no uso de sensores. Infelizmente o uso de sensores é algo que não pode ser aplicado amplamente na maioria das cidades brasileiras devido seu elevado custo de aquisição e implantação. Neste sentido, este projeto de pesquisa busca utilizar as postagens das redes sociais como meio para extrair e identificar eventos relacionados a problemas no trânsito, no trasporte público, no fornecimento de água, segurança pública, etc. Para tanto, este projeto faz uso do processamento de linguagem natural (PLN) para extrair e identificar problemas que ocorrem na cidade e apresentar tais resultados através de uma interface amigável.. , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Carlos Augusto Prolo - Coordenador / Nélio Cacho - Integrante / Juliana de Araújo Oliveira - Integrante.

  • 2014 - 2018

    Análise automatizada de documentos em linguagem natutral produzidos por desenvolvedores de software em português, Descrição: O objetivo central deste projeto é (i) desenvolver novas técnicas para análise automática da documentação escrita em linguagem natural (português) por desenvolvedores de software, e (ii) adaptar as técnicas de processamento de linguagem natural desenvolvidas em trabalho anterior do proponente do inglês para o português. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Carlos Augusto Prolo - Integrante / Christoph Treude - Coordenador / Fernando Marques Figueira Filho - Integrante / Uirá Kulesza - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.

  • 2014 - 2017

    Sistemas de Combinação de Classificadores para Recuperação de Imagens Baseada em Conteúdo, Descrição: Este projeto tem como objetivo principal investigar o uso de comitês de classificadores em recuperação de imagens baseadas em conteúdo, visando explorar todo o potencial de tais sistemas para a melhoria da eficiência na recuperação de imagens. Para tal, almeja-se alcançar os seguintes objetivos secundários: (1) Implementar diferentes técnicas de classificação individuais para a recuperação de imagens baseadas em conteúdos; (2) Determinar e implementar novas arquiteturas de sistemas para a recuperação de imagens baseada em conteúdo envolvendo comitês de classificadores; (3) Analisar a diversidade e desempenho dos sistemas desenvolvidos objetivando, desta maneira, definir a influencia dos parâmetros estruturais de um comitê na diversidade e desempenho de tais sistemas; (4) Analisar as interfaces com usuário dos diferentes sistemas de recuperação de imagens por conteúdo encontrado na literatura, identificando pontos fortes e outros que podem ser melhorados; (5) Comparar os resultados obtidos através das arquiteturas de comitês desenvolvidas com resultados obtidos por técnicas tradicionais encontradas na literatura.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Carlos Augusto Prolo - Integrante / Anne Magaly de Paula Canuto - Integrante / João Carlos Xavier Junior - Coordenador / Bruno Motta de Carvalho - Integrante / Bruno Santana da Silva - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.

  • 2014 - Atual

    Transdução em corpora anotado sintaticamente para linguagem natural e sua influência no treinamento de parsers estatísticos, Descrição: Um treebank é um corpus linguístico em que as sentenças são anotadas com suas respectivas árvores sintáticas. Treebanks são usados entre outras coisas para pesquisas linguísticas e para treinamento de parsers para linguagem natural. Este último consiste em, usando técnicas automáticas de aprendizado de máquina (machine learning), tentar extrair princípios usados na anotação do referido corpus, e, por este processo, induzir a construção automática de um analisador sintático de sentenças (parser) que se utiliza daqueles princípios aprendidos. A anotação de um corpus reflete concepções teóricas sobre uma linguagem e decisões pragmáticas sobre como representar os diversos fenômenos linguísticos que aparecem em sentenças reais. A experiência mostra que tais decisões são muitas vezes extremamente complexas. (Veja por exemplo [Marcus 1993, Marcus 1994, Bies 1995, Bleam 2001] para discussões sobre representação de fenômenos da língua inglesa.) Por diversas razões, um determinado usuário de um corpus pode não gostar da anotação corrente e desejar que ela fosse diferente em alguns aspectos. Em particular, a literatura de parsing é rica em exemplos de algoritmos e projetos de construção de parsers estatísticos, em que há um esforço enorme dispendido na adaptação das árvores sintáticas do treebank para que o algoritmo de treinamento aprenda melhor, resultando em um parser mais eficaz, isto é, com maior acurácia, menor taxa de erros (veja por exemplo [Bikel 2004, Collins 1997, Collins 2003].) As transformações executadas nestas árvores são via de regra feitas no próprio código do programa de treinamento e no parser e, frequentemente são omitidas parcial ou integralmente na descrição dos algoritmos de parser. Veja em particular a descrição em [Bikel 2004] deste processo a respeito dos parsers de Collins. Ferramentas de transdução de árvores podem ser usadas para descrever formalmente transformações desejadas em treebanks e promovê-las separadamente com passos de pré- e pós-processamento do corpus. Tal separação facilita enormemente a experimentação em relação às transformações úteis para aumentar a eficácia de um algoritmo de treinamento. Obviamente elas também podem ser usadas puramente para adaptação de formato por pessoas interessadas em estudos linguísticos. A título de exemplo, uma regra de transdução pode especificar o seguinte: - Localize um nodo da árvore que contenha um rótulo de sintagma nominal (NP) com anotação secundária de sujeito (-SBJ) - Extraia a subárvore a partir daquele nodo da árvore principal - Em seu lugar coloque um nodo com rótulo SUBJECT - Reinsira a subárvore extraída abaixo do rótulo SUBJECT A maneira específica de expressar isto depende da linguagem da ferramenta de transdução. A ideia deste projeto é experimentar com hipóteses de transformações úteis para aumentar a eficácia de parsing e ao mesmo tempo aperfeiçoar um protótipo de ferramenta de transdução de árvore pré-existente conforme as necessidades que surgirem das transformações propostas ao longo do tempo.. , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Carlos Augusto Prolo - Coordenador.

  • 2012 - 2014

    Pesquisa e desenvolvimento de instrumentos educacionais de suporte à aquisição de conhecimentos na área de tecnologia da informação no Instituto Metrópole Digital, Descrição: Este projeto trata das ações a serem desenvolvidas pelo Instituto Metrópole Digital (IMD) no desenvolvimento de instrumentos educacionais de suporte a aquisição de conhecimentos na área de Tecnologia da Informação (TI) a partir da elaboração e avaliação de ferramentas para ambientes virtuais de aprendizagem e materiais didáticos específicos para cursos presenciais e semi-presenciais, sejam estes cursos técnicos, de graduação e pós graduação ministrados no Institut Metropole Digital.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Carlos Augusto Prolo - Integrante / Outros participantes - Integrante / Apuena Vieira Gomes - Coordenador.

  • 2009 - 2009

    Projeto Semantic Share: participant, funding from FCT - Foundation for Science and Technology of the MCT, Portugal, Descrição: Cooperação com a Universidade de Lisboa:"http://semanticshare.di.fc.ul.pt/" A central goal of the SemanticShare project is the development of annotated corpora for Portuguese of the recent and next generations - a PropBank and a LogicalFormBank -, of which a part is parallel to similar banks being produced for other languages, in other projects.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) . , Integrantes: Carlos Augusto Prolo - Integrante / Vera Lúcia Strube de Lima - Integrante / António Horta Branco - Coordenador., Financiador(es): FCT - Foundation for Science and Technology of the MCT, Portugal - Auxílio financeiro / FCT - Foundation for Science and Technology of the MCT, Portugal - Bolsa.

  • 2006 - 2007

    Projeto FAROL: integrante, financiamento CAPES edital PROCAD, #0035/05-0, Descrição: Projeto FAROL: Fortalecimento e Integração nas Competências do Processamento da Língua. O objetivo principal do projeto é impulsionar a área do processamento da língua no país, através da colaboração entre as instituições que vêm desenvolvendo pesquisas nesta área, fortalecendo a formação de mestres e doutores através da associação entre as equipes: NILC da USP/São Carlos, UFSCar, UNISINOS e PUCRS. Equipe líder: PUCRS. Coordenação nacional: Profa. Vera Strube. , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Carlos Augusto Prolo - Integrante / Vera Lúcia Strube de Lima - Coordenador / Outros participantes - Integrante., Financiador(es): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Auxílio financeiro.

  • 2005 - 2007

    Projeto PLN-BR: integrante, edital CNPq-CTINFO #11/2005 projeto #550388/2005-2, Descrição: Projeto PLN-BR: Recursos e Ferramentas para a Recuperação de Informação em Bases Textuais em Português do Brasil. Instituições executoras: USP/São Carlos, UFSCar, UNESP, PUCRS, PUCRJ, UNISINOS, Mackenzie. Coordenação geral: Profa. Maria das Graças Volpe Nunes (USP/São Carlos). Coordenação local na PUCRS: Profa. Vera Strube... , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Carlos Augusto Prolo - Integrante / Vera Lúcia Strube de Lima - Integrante / Outros participantes - Integrante / Maria das Graças Volpe Nunes - Coordenador., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.

  • 1993 - 1995

    Participação Projeto PROTEM-CC, Descrição: Geradores de Reconhecedores de GLCs pelo método de Earley; Geradores de Análisadores Sintáticos GLR (Tomita); Processadores de Gramáticas de Atributos.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Carlos Augusto Prolo - Coordenador.

  • 1993 - 1995

    Coordenação do Projeto ProGramma - Ferramentas para Gramáticas Livres de Contexto, Descrição: Geradores de Reconhecedores de GLCs pelo método de Earley; Geradores de Análisadores Sintáticos GLR (Tomita); Processadores de Gramáticas de Atributos.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Carlos Augusto Prolo - Coordenador.

  • 1992 - 1995

    Participação no Projeto Lexis, Descrição: Analisadores léxicos para Linguagem Natural. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Carlos Augusto Prolo - Integrante / Vera Lúcia Strube de Lima - Coordenador.

  • 1991 - 1993

    Projeto Implementação de um Compilador Pascal, Descrição: Construção de compilador para linguagem Pascal. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Carlos Augusto Prolo - Coordenador.

Prêmios

1987

III LUGAR NA CLASSIFICACAO GERAL DA II ESCOLA BRASILEIRO-ARGENTINA DE INFORMATICA., PROGRAMA ARGENTINO-BRASILEIRO DE PESQ. & EST. EM INFO..

1985

III LUGAR NO IV CTIC (CONCURSO TECNICO DE INICIACAO CIENTIFICA), JULHO, 1985., SOCIEDADE BRASILEIRA DE COMPUTACAO (SBC).

Histórico profissional

Endereço profissional

  • Universidade Federal do Rio Grande do Norte, Centro de Ciências Exatas, Departamento de Informática e Matemática Aplicada. , AC Universidade Federal do Rio Grande do Norte, DIMAp, Lagoa Nova, 59078970 - Natal, RN - Brasil, Telefone: (84) 32153814, URL da Homepage:

Experiência profissional

2013 - Atual

Universidade Federal do Rio Grande do Norte

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

Atividades

  • 01/2024

    Direção e administração, Centro de Ciências Exatas.,Cargo ou função, Coordenador do Curso de Bacharelado em Ciência da Computação.

  • 01/2024

    Conselhos, Comissões e Consultoria, Centro de Ciências Exatas.,Cargo ou função, Membro do Conselho de Centro (CONSEC) do Centro de Ciências Exatas e da Terra (CCET).

  • 07/2023

    Conselhos, Comissões e Consultoria, Instituto Metrópole Digital.,Cargo ou função, Membro do Colegiado do Curso de Bacharelado em Tecnologia da Informação.

  • 11/2021

    Extensão universitária , Centro de Ciências Exatas.,Atividade de extensão realizada, Coordenação do Projeto de Conexão Ensino Básico e Universidade na Área de Ciências Exatas.

  • 04/2014

    Conselhos, Comissões e Consultoria, Centro de Ciências Exatas, Departamento de Informática e Matemática Aplicada.,Cargo ou função, Membro do Colegiado do Curso de Bacharelado em Ciência da Computação.

  • 11/2013

    Conselhos, Comissões e Consultoria, Centro de Ciências Exatas, Departamento de Informática e Matemática Aplicada.,Cargo ou função, Membro do Núcleo Docente Estruturante (NDE) do Curso de Bacharelado em Ciência da Computação.

  • 01/2013

    Pesquisa e desenvolvimento, Centro de Ciências Exatas, Departamento de Informática e Matemática Aplicada.,Linhas de pesquisa

  • 01/2013

    Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Fundamentos Matemáticos da Computação I / Elementos de Matemática para Computação, Algoritmos e Estruturas de Dados II, Algoritmos e Programação, Grafos, Projeto e Análise de Algoritmos, Introdução à Análise de Algoritmos, Teoria da Complexidade e Problemas Intratáveis, Tópicos Especiais em Computação,, Linguagens Formais e Autômatos, Métodos de Estudo no Ensino Superior, Seminários de Computação e Orientação Curricular, Processamento de Linguagem Natural, Treinamento para Competições de Programação, Conexão Inicial com o Ensino Básico

  • 11/2022 - 09/2023

    Conselhos, Comissões e Consultoria, Conselhos Superiores.,Cargo ou função, Membro Suplente no Conselho de Administração - CONSAD da UFRN.

  • 02/2021 - 09/2023

    Conselhos, Comissões e Consultoria, Conselhos Superiores.,Cargo ou função, Membro do Conselho de Ensino, Pesquisa e Extensão - CONSEPE da UFRN.

  • 02/2021 - 09/2023

    Conselhos, Comissões e Consultoria, Conselhos Superiores.,Cargo ou função, Câmara de Graduação.

  • 09/2019 - 09/2023

    Direção e administração, Centro de Ciências Exatas, Departamento de Informática e Matemática Aplicada.,Cargo ou função, Chefe do Departamento de Informática e Matemática Aplicada - DIMAp.

  • 09/2019 - 09/2023

    Conselhos, Comissões e Consultoria, Instituto Metrópole Digital.,Cargo ou função, Membro do Conselho de Desenvolvimento Acadêmico do IMD.

  • 06/2016 - 09/2023

    Conselhos, Comissões e Consultoria, Centro de Ciências Exatas.,Cargo ou função, Membro do Conselho de Centro (CONSEC) do Centro de Ciências Exatas e da Terra (CCET).

  • 01/2018 - 09/2019

    Direção e administração, Centro de Ciências Exatas.,Cargo ou função, Coordenador do Curso de Bacharelado em Ciência da Computação.

  • 01/2018 - 09/2019

    Conselhos, Comissões e Consultoria, Instituto Metrópole Digital.,Cargo ou função, Membro do Colegiado do Curso de Bacharelado em Tecnologia da Informação.

1995 - 2013

Pontifícia Universidade Católica do Rio Grande do Sul

Vínculo: Celetista formal, Enquadramento Funcional: Professor adjunto, Carga horária: 40

1991 - 1995

Pontifícia Universidade Católica do Rio Grande do Sul

Vínculo: Celetista formal, Enquadramento Funcional: Professor assistente, Carga horária: 40

1990 - 1991

Pontifícia Universidade Católica do Rio Grande do Sul

Vínculo: Celetista formal, Enquadramento Funcional: Professor assistente, Carga horária: 24

1987 - 1990

Pontifícia Universidade Católica do Rio Grande do Sul

Vínculo: Celetista formal, Enquadramento Funcional: Professor auxiliar, Carga horária: 6

Outras informações:
A carga horaria semanal eh uma media do periodo de 3 anos.

Atividades

  • 08/2011 - 01/2013

    Ensino, Ciência da Computação, Nível: Pós-Graduação,Disciplinas ministradas, Computabilidade e Complexidade de Algoritmos (2011/2, 2 turmas)

  • 04/2011 - 01/2013

    Conselhos, Comissões e Consultoria, Faculdade de Informática.,Cargo ou função, Membro do NDE (Núcleo Docente Estruturante) do Curso de Engenharia de Computação.

  • 01/2011 - 01/2013

    Direção e administração, Faculdade de Informática.,Cargo ou função, Coordenador de Curso: Engenharia de Computação.

  • 01/2011 - 01/2013

    Conselhos, Comissões e Consultoria, Faculdade de Informática.,Cargo ou função, Membro do Colegiado do Curso de Engenharia de Computação.

  • 12/2009 - 01/2013

    Conselhos, Comissões e Consultoria, Faculdade de Informática.,Cargo ou função, Membro do Colegiado do Curso de Ciência da Computação.

  • 08/2009 - 01/2013

    Conselhos, Comissões e Consultoria, Faculdade de Informática.,Cargo ou função, Membro do NDE (Núcleo Docente Estruturante) do Curso de Ciência da Computação.

  • 08/2003 - 01/2013

    Pesquisa e desenvolvimento, Faculdade de Informática.,Linhas de pesquisa

  • 08/2003 - 01/2013

    Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Compiladores I (2004/I) , Compiladores II (2006/I), Compiladores (2010/II), Construção e Análise de Algoritmos (2010/I, 2010/II) e Algoritmos e Estruturas de Dados III (2004/II, 2005/II), Linguagens Formais (2004/II, 2005/I, 2005/II, 2008/II, 2009/I, 2009/II, 2010/I, 2010/II, 2012/I), Programação de Software Básico (2008/I, 2008/II, 2009/I, 2009/II, 2010/I, 2010/II, 2011/I), Sistemas Formais para Computação (2003/II), Teoria da Computabilidade (2004/II, 2005/I, 2005/II), Teoria da Computação (2006/I, 2006/II, 2007/I, 2007/II, 2008/I, 2012/I), Tópicos em Teoria da Computação: Algoritmos (2005/I)

  • 08/2003 - 01/2013

    Ensino, Engenharia de Computação, Nível: Graduação,Disciplinas ministradas, Estágio Supervisionado EC (2011/I, 2011/II, 2012/I), Laboratório de Programação II (2004/II, 2005/I, 2005/II, 2006/I), Teoria da Computabilidade (2004/I, 2004/II, 2005/I, 2005/II, 2006/I, 2006/II, 2007/I, 2007/II, 2008/I, 2008/II, 2011/I), Trabalho de Conclusão de Curso EC (2011/I, 2011/II, 2012/I)

  • 03/1987 - 01/2013

    Pesquisa e desenvolvimento, Faculdade de Informática, Departamento de Computação Aplicada.,Linhas de pesquisa

  • 03/2009 - 12/2012

    Ensino, Lingüística e Letras, Nível: Pós-Graduação,Disciplinas ministradas, Linguagem, Lógica e Computação (2010/II)

  • 08/2006 - 07/2012

    Conselhos, Comissões e Consultoria, Faculdade de Informática.,Cargo ou função, Representante da FACIN para Mobilidade Acadêmica na Graduação.

  • 12/2008 - 12/2009

    Direção e administração, Faculdade de Informática.,Cargo ou função, Coordenador de Curso: Bacharelado em Ciência da Computação.

  • 12/2008 - 12/2009

    Conselhos, Comissões e Consultoria, Faculdade de Informática.,Cargo ou função, Coordenador do Colegiado do Curso de Bacharelado em Ciência da Computação.

  • 09/2006 - 12/2008

    Direção e administração, Faculdade de Informática.,Cargo ou função, Chefe de Departamento: Departamento de Fundamentos da Computação.

  • 08/2003 - 12/2007

    Ensino, Engenharias, Nível: Graduação,Disciplinas ministradas, Programação I (2003/II), Programação para Engenharia I (2003/II), Programação para Engenharia II (2004/I (3 turmas), 2004/II, 2006/I, 2006/II, 2007/I, 2007/II)

  • 03/2005 - 12/2005

    Ensino, Sistemas de Informação, Nível: Graduação,Disciplinas ministradas, Algoritmos e Estruturas de Dados C (2005/I-2005/II)

  • 07/2004 - 12/2005

    Conselhos, Comissões e Consultoria, Faculdade de Informática.,Cargo ou função, Membro do Colegiado do Curso de Bacharelado em Ciência da Computação.

  • 08/2003 - 12/2003

    Ensino, Física, Nível: Graduação,Disciplinas ministradas, Algoritmos e Programação II (2003/II), Algoritmos e Programação para Física (2003/II)

  • 03/1990 - 07/1995

    Direção e administração, Instituto de Informática.,Cargo ou função, Coordenador de Laboratorio: Laboratório de Programacao/UNIX.

  • 03/1987 - 07/1995

    Ensino, Informatica, Nível: Graduação,Disciplinas ministradas, Arquitetura de Computadores II (1987/I, 1987/II), Arquitetura de Computadores I(1988/I), Linguagens Formais(1989/I até 1995/I: 13 semestres), Organizacao de Computadores (1989/I, 1989/II, 1992/II, 1993/I, 1993/II, 1994/I, 1994/II)

  • 03/1991 - 07/1994

    Ensino, Computação, Nível: Especialização,Disciplinas ministradas, Algoritmos e Estruturas de Dados: em Especializacao em Ciencias da Computacao, Bage-Urcamp (1994/I), Linguagem Pascal: em Especializacao em Ciencias da Computacao (1991/II), Redes de Computadores de Longa distancia e Locais: em Especializacao em Analise de Sistemas (1991/II), Topicos: Especializacao em Tecnologia em Computacao - Enfase Software (1992/II, 1993/II)

  • 03/1994 - 06/1994

    Ensino, Ciência da Computação, Nível: Pós-Graduação,Disciplinas ministradas, Nivelamento do Mestrado (1994/I)

  • 04/1994 - 04/1994

    Serviços técnicos especializados , Faculdade de Informática, Departamento de Computação Aplicada.,Serviço realizado, Participacao de banca para Selecao Docente para disciplina de Linguagens de Programacao do Instituto de Ciencias Exatas e Geociencias da Universidade de Passo Fundo.

  • 03/1991 - 02/1994

    Direção e administração, Instituto de Informática.,Cargo ou função, Coordenador de curso: Especializacao em Tecnologia em Computacao: Enfase Software.

  • 07/1990 - 07/1990

    Serviços técnicos especializados , Faculdade de Informática, Departamento de Computação Aplicada.,Serviço realizado, Elaboracao de provas para Concurso de Admissao de Tecnicos de Nivel Superior (Informatica e Analise de Sistemas) e Nivel Medio(Programador e Operador de Computadores) para a EMATER/RS (abril/1994).

1990 - 1990

Universidade de Passo Fundo

Vínculo: Professor Visitante, Enquadramento Funcional: PROFESSOR CONVIDADO, Carga horária: 4

Atividades

  • 03/1990 - 06/1990

    Ensino, Bacharelado em Ciência da Computação, Nível: Graduação,Disciplinas ministradas, COMPILADORES

1982 - 1985

Universidade Federal do Rio Grande do Sul

Vínculo: Celetista formal, Enquadramento Funcional: Programador de Sistemas, Carga horária: 40

Outras informações:
Implementacao e manutencao de software de Sistema Operacional Burroughs B6700 Implementacao e manutencao de software de Teleprocessamento