-
Doutorado em Computação — Universidade Federal do Rio Grande do Sul, UFRGS com período sanduíche em Utrecht University, 2016.
-
Mestrado em Ciência da Computação — Pontifícia Universidade Católica do Rio Grande do Sul, PUCRS, 2012.
-
Graduação em Matemática — Universidade Federal da Bahia, UFBA, 2009.
- Graduação em Ciência da Computação — Universidade Salvador, UNIFACS, 2008.
- Computação Teórica
- Computação Aplicada
-
Lógica:
- Lógicas Modais
- Lógicas Epistêmicas
- Lógicas Dinâmicas
- Lógicas de Descrição
-
Semântica Formal:
- Semântica Formal de Linguagens de Programação
- Semântica Formal de Sistemas Multiagentes
- Expressividade e Complexidade de raciocínio em frameworks de representação semântica
-
Processamento de Linguagens Naturais:
- Extração de Informação
- Etiquetação e Parsing
- Métodos de Aprendizagem de Máquina aplicados a problemas de Linguística de Corpus
-
Agente Inteligentes:
- Semântica Formal de programação orientada a agentes
- Métodos lógicos em sistemas multiagentes
- FORMAS — Formalismos e Aplicações Semânticas
- Onda Digital — Grupo de Pesquisa e Extensão Onda Digital
Produção de material educativo e preservação de linguas indígenas:
O presente projeto tem como objetivo utilizar técnicas de processamento de linguagem natural para processamento de línguas indigenas e africanas, com o objetivo de gerar material educativo e de consulta sobre essas linguages. Problemas associadas: aprendizagem não-supervisionada de léxico e morfologia, processamento de fala, transcrição linguistica automatizada, anotação interativa de dados linguísticos
Proposta:
- Aprendizado não-supervisionado de morfologia em linguagens tupianas: estudo e aplicação de métodos estatísticos e de aprendizado não supervisionado para o estudo da morfologia de linguagens tupianas
Anotação Automaticazada de informações linguísticas e discursivas para a língua portuguesa:
O presente projeto visa desenvolver métodos robustos de anotação automatizada de informação linguística para variantes da língua portuguesa, como anotação morfossintática, anotação sintática, informação semântica ou discursiva, correção gramátical, etc.
Proposta:
- CoGrOO - Corretor Gramátical do OpenOffice: atualizar e aperfeiçoar o corretor gramátical livre CoGrOO, investigando o aprendizado semi-supervisionado de regras gramáticas a partir de corpora anotados
- Detecção de Paráfráse e Inferência Textual: estudar métodos baseados em semântica e pragmática de detecção de paráfrase e inferência textual
Mudança de Crenças em Lógicas não-clássicas
Esse projeto visa estudar a aplicação de conceitos de Mudança de crença ou Epistomologica Dinâmica para problemas de raciocínio não-monotônico em diversas lógicas não clássicas, como lógicas preferencias, lógicas de descrição, logicas paraconsistentes e lógicas de evidências. Além disso, busca-se investigar a aplicação dessas codificações à problemas em Computação, como evolução de especificações de software, conhecimento e ontologias; planejamento epistêmico e preferencial; programação orientada a agentes; etc.
Proposta:
- Medeia: uma linguagem de programação orientada a agentes - com foco em MDA - cuja semântica formal é especificada em Lógica Dinâmica Espistêmica
- Ontologias com regras não monotônicas: raciocínio e complexidade
- Negicação de vocabulário para agentes ontolgógicos.
- Onda Digital — Grupo de Pesquisa e Extensão Onda Digital
- PROFCOMP — Programa de Ações Pedagógicas para Formação de Professores de Computação
- CV: http://lattes.cnpq.br/8734792579019380
- E-mail: msouza1@ufba.br
- Telefone: +55 71 3283-6293
- Escritório: Instituto de Computação - UFBA, PAF 2