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 |
| Matéria(s) publicada(s) no Pesquisa para Inovação FAPESP sobre o(a) pesquisador(a): |
| 1º Simpósio de Inteligência Artificial: Aplicando IA em Ciências Biomédicas |
| Second School on Data Science and Machine Learning |
| Second School on Data Science and Machine Learning |
| Setores acadêmico e privado se unem para fomentar pesquisa em inteligência artificial |
| Matéria(s) publicada(s) na Agência FAPESP sobre o(a) pesquisador(a) |
| TITULO |
| Matéria(s) publicada(s) em Outras Mídias (0 total): |
| Mais itensMenos itens |
| VEICULO: TITULO (DATA) |
| VEICULO: TITULO (DATA) |
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…
Esta proposta descreve um Centro de Pesquisa de Engenharia em Inteligência Artificial (IA) empenhado em conduzir pesquisas em tópicos centrais de IA e em aplicar técnicas de IA em áreas de aplicação selecionadas --- a saber, indústria de óleo e gás, agronegócios e saúde. O Centro também dará suporte a estudos sobre o impacto social e econômico da IA e conduzirá atividades de transferência…
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…
Em muitas áreas das Ciências e Engenharia, imagens fornecem informações sobre problemas reais e a associação por uma máquina de um ou mais rótulos por imagem (anotação), com base nessas informações, conduz a uma decisão sobre o problema. No entanto, o aprendizado de máquina requer que o conteúdo de interesse, denominado amostra, seja manualmente isolado e identificado (rotulado) em imagen…
A solução de problemas computacionais envolvendo objetos do mundo necessita conciliar modelos rigorosos com informações imperfeitas e flexíveis coletadas sobre o mundo. Assim, o método de solução deste tipo de problema deve ser capaz de lidar tanto com as rígidas asserções sobre o mundo quanto com o fluxo e informações cujo natureza é muito menos rígida. A capacidade…
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…
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 …
Entre os Grandes Desafios em torno dos quais as pesquisas do Centro de Inteligência Artificial (C4AI - http://c4ai.inova.usp.br) se organizam, propõe-se a produção de recursos para levar o Processamento de Linguagem Natural do português ao estado da arte. Quanto à modalidade falada da língua, pretende-se construir datasets multitarefa para reconhecimento de fala, síntese multilocutor, ide…
Este projeto se insere no contexto da construção de um sistema de aprendizado automático que permita a detecção precoce de insuficiência respiratória por meio da análise de um sinal de áudio da voz de pacientes. Esta proposta visa a construção de modelos pré-treinados e processamento de áudio em língua portuguesa, que possam posteriormente ser utilizados por um treinamento específico como…
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.
CV Lattes
ORCID