CV Lattes
ResearcherID
ORCID
Google Scholar Citations
Universidade de São Paulo (USP). Instituto de Matemática e Estatística (IME) (Instituição Sede da última proposta de pesquisa) País de origem: Brasil
Possui graduação em Engenharia Eletronica pela Universidade de São Paulo (1988), mestrado em Foundations of Advanced Information Technology - Imperial College of Science, Technology and Medicine (1990) e doutorado em PhD in Computing - Imperial College of Science and Technology, University of London (1994). Foi professor visitante em departamentos de Ciência da Computação na Universitée Paul Sabatier - Toulouse (2011) e na Cornell University (2012-2013). Atualmente é professor titular da Universidade de São Paulo, Pesquisador Principal do USP-Fapesp-IBM Centro de Inteligência Artificial (C4AI), onde coordena o grupo NLP2 de processamento de lingauge natural em português. É editor das revistas: South American Journal of Logic, São Paulo Journal of Mathematical Sciences e editor convidado da Theoretical Computer Science e da Anals of Mathematics in Artificial Intelligence. Tem experiência na área de Ciência da Computação, com ênfase em Lógica, Raciocínio Lógico-Probabilístico, Linguística Computacional, e tem atuado como pesquisador principal nos seguintes temas: logica, inteligência artificial, Humanidades Digitais e linguistica computacional. (Fonte: Currículo Lattes)
| Matéria(s) publicada(s) na Revista Pesquisa FAPESP sobre o(a) pesquisador(a): |
| ChatGPT inaugura una nueva era en la interacción entre seres humanos y computadoras |
| ChatGPT inaugura uma nova era na interação entre seres humanos e computadores |
| Mais itensMenos itens |
| Matéria(s) publicada(s) na Agência FAPESP sobre o(a) pesquisador(a) |
| Mais itensMenos itens |
| TITULO |
| Matéria(s) publicada(s) em Outras Mídias ( ): |
| Mais itensMenos itens |
| VEICULO: TITULO (DATA) |
| VEICULO: TITULO (DATA) |
Redes neurais estão por trás de muitos dos sistemas inteligentes mais avançados, mas ainterpretabilidade e explicabilidade destes métodos de aprendizado automático continua sendo um desafio significativo. Em uma abordagem neurosimbólica, a lógica multivalorada de Lukasiewicz com infinitos valores-verdade (Linf) pode ser usada para representar redes neurais em uma abordagem formal, permiti…
O objetivo geral deste Projeto Temático é o desenvolvimento de conhecimento teórico, técnico e tecnológico sobre biomarcadores de condições respiratórias, cuja aplicação seja prática, barata e viável para a população brasileira. Utilizando técnicas de aprendizado de máquina, inteligência artificial e análise de áudio, vamos investigar biomarcadores de áudio para condições respiratórias c…
Esta proposta se insere no âmbito da chamada para Equipamentos Multiusuários para Centros Depositários de Informações, Acervos Documentais e/ou Coleções Historiográficas e Biológicas - 2022, dentro da categoria Apoio à Infraestrutura de Pesquisa de Arquivos e Acervos Documentais. Em particular, a chamada visa obter a infraestrutura para a construção de um portal de disponibilização públic…
O objetivo dos Encontros Brasileiros de Lógica (EBL), evento internacional que ocorre em média a cada dois anos desde sua primeira edição realizada em 1977, é estimular a divulgação e a discussão dos trabalhos de pesquisa na área de Lógica e suas interconexões com as áreas de Filosofia Teórica, Fundamentos/História/Filosofia das Ciências, Computação, Inteligência Artificial e Matemática, …
O objetivo deste estudo é desenvolver uma ferramenta que possa detectar precocemente as pessoas com insuficiência respiratória devido a COVID-19 usando dados de fala. Para tanto iremos coletar registros em áudio de pessoas infectadas bem como de pessoas normais, a fim de explorar diferenças associadas à saturação de O2 e à frequência respiratória que permitam distinguir os dois grupos.A f…
As transformações radicais nas formas de comunicação humana possibilitadas pela internet na última década do século passado têm sido tanto refinadas quanto expandidas neste início de século 21, impactando a vida de grande parte da população mundial. Recentemente, com a popularização das tecnologias da computação em nuvem e da computação móvel e com o crescente uso de redes de sensores e d…
Buscamos com o córpus Carolina dar um passo em direção a levar o Processamento de Linguagem Natural em Português ao estado da arte mundial, a fim de efetivamente tirar o português da condição de língua de poucos recursos ("low-resource language"). Além de contar com volume robusto, atualmente com mais de 800 milhões de tokens distribuídos em mais de 2 milhões de textos, para a criação do…
O objetivo desta Pesquisa é a construção e manutenção de interfaces de pesquisa em ambiente Web para a consulta de diversos córpus textuais e sonoros associados aos projetos POeTiSA, TaRSila e Carolina, ligados ao desafio do Processamento deLinguagem Natural - NLP2 do Centro de Inteligência Artificial - C4AI-IBM-USP. (AU)
Este projeto se insere como continuação de um estudo (chamado de SPIRA, projeto FAPESP 2020/06443-5) que visa a produção de um sistema de aprendizado automático que seja capaz de detectar precocemente a insuficiência respiratória por meio da análise do sinal de áudio da voz de pacientes.Esta proposta tem por objetivo central o desenvolvimento de modelos pré-treinados em processamento de á…
Uma forma de contornar o problema do método da caixa preta sofrido por redes neurais e viabilizar sua aplicação em situações críticas é fazendo a verificação formal de propriedades desejáveis nestas redes. A área da verificação formal de redes neurais é recente e há desafios serem enfrentados; para isso, a comunidade propôs benchmarks e competições para comparar a eficiência dos métodos p…
Embora haja considerável literatura e rotinas já implementadas para tratar os problemas de satisfatibilidade e validade de fórmulas na Lógica Infinitamente-valorada de Lukasiewicz, não literatura conhecida que lide com o problema de decidir a validade de uma consequência lógica neste sistema lógico. Este projeto de pesquisa tem por primeiro objetivo estabelecer e implementar algoritmos pa…
As técnicas de processamento de linguagem natural (PLN) podem ser aplicadas a textos em geral, não apenas a texto em linguagem humana, mas também a textos em linguagens artificiais, como código de software. A refatoração de código é uma técnica fundamental de engenharia de software usada como ferramenta de garantia de qualidade e uma etapa importante na correção de código e aprimoramento …
O Raciocínio lógico-dedutivo e o raciocínio probabilístico são áreas que vem passando por um enorme desenvolvimento no âmbito dos estudos de Inteligência Artificial na últimas décadas. Enquanto o raciocínio dedutivo fez parte da Inteligência Artificial desde o nascimento da área, a complexidade computacional associada a seus problemas usualmente se coloca entre o intratável e o indecidív…
Publicado em 30 de novembro de 2018 - Agência FAPESP. A Inteligência Artificial, área de pesquisa da Ciência da Computação, foi tema do Ciclo de Palestras ILP-FAPESP, que aconteceu dia 26/11 na Assembleia Legislativa de São Paulo (Alesp), na capital paulista.