Plataforma de dados abertos da Universidade de São Paulo
USP Aberta — página inicial
Perfil do docente · IME

Marcelo Finger.

Livre · Departamento de Ciência da Computação

Unidade
Instituto de Matemática, Estatística e Ciência da Computação
Departamento
Departamento de Ciência da Computação
LattesORCID

Currículo atualizado em 12/12/2025

Lógicas e Semântica de ProgramasBanco de DadosLinguistica ComputacionalLogica e Inteligencia Artificial

Cita-se como: FINGER, M.;Finger, Marcelo;FINGER, M

16 seções

Resumo biográfico

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.

Indicadores

Áreas de atuação

04 registros
  • Ciencias Exatas E Da Terra
    Ciência da Computação
    Teoria da Computação › Lógicas e Semântica de Programas
  • Ciencias Exatas E Da Terra
    Ciência da Computação
    Metodologia e Técnicas da Computação › Banco de Dados
  • Ciencias Exatas E Da Terra
    Ciência da Computação
    Metodologia e Técnicas da Computação › Linguistica Computacional
  • Ciencias Exatas E Da Terra
    Ciência da Computação
    Metodologia e Técnicas da Computação › Logica e Inteligencia Artificial

Formação acadêmica

05 registros
  1. 2012 – presentePós-DoutoradoConcluído
    Pós-Doutorado · Cornell University
    Bolsa Fundaçao de Amparo a Pesquisa do Estado de Sao Paulo
  2. 1990 – 1994DoutoradoConcluído
    PhD in Computing · Imperial College of Science and Technology, University of London
    “Changing the past: applications of two-dimensional temporal logic to databases”
    Orientação: Dov GabbayBolsa Coordenação de Aperfeiçoamento de Pessoal de Nível Superior
  3. 1989 – 1990MestradoConcluído
    Foundations of Advanced Information Technology · Imperial College of Science, Technology and Medicine
    “Handling Database Updates in Two-dimensional Temporal Logics”
    Orientação: Dov GabbayBolsa Coordenação de Aperfeiçoamento de Pessoal de Nível Superior
  4. 1983 – 1988GraduaçãoConcluído
    Engenharia Eletronica · Universidade de São Paulo
  5. Livre-docênciaConcluído
    Livre-docência · Universidade de São Paulo

Idiomas

01 registro
IdiomaLeituraFalaEscritaCompreensão
InglêsBemBemBemBem

Atuação profissional

16 registros
  1. 2017 – 2023
    FroCoS - Frontiers on Combining Systems
    Membro de corpo editorial
  2. 2015 – presenteVínculo atual
    Fundação de Amparo à Pesquisa do Estado de São Paulo
    Membro de comitê assessor
  3. 2015 – presenteVínculo atual
    Fundação de Amparo à Pesquisa do Estado de São Paulo
    Membro de comitê assessor
  4. 2015 – presenteVínculo atual
    South American Journal of Logic
    Membro de corpo editorial
  5. 2015 – 2015
    Theoretical Computer Science
    Membro de corpo editorial
  6. 2014 – presenteVínculo atual
    São Paulo Journal of Mathematical Sciences
    Membro de corpo editorial
  7. 2014 – presenteVínculo atual
    Theoretical Computer Science
    Membro de corpo editorial
  8. 2014 – presenteVínculo atual
    Fundaçao de Amparo a Pesquisa do Estado de Sao Paulo
    Revisor de projeto de fomento
  9. 2013 – presenteVínculo atual
    The Scientific World Journal
    Membro de corpo editorial
  10. 2012 – 2013Dedicação exclusiva
    Cornell University
    Visiting AcademicProfessor Visitante40h/sem
  11. 2011 – 2011
    Université Toulouse III Paul Sabatier
    Professor visitante
  12. 2009 – 2012
    Universidade de São Paulo
  13. 2008 – presenteVínculo atual
    Revista de Informática Teórica e Aplicada: RITA
    Membro de corpo editorial
  14. 2001 – 2001
    Annals of Mathematics and Artificial Intelligence
    Membro de corpo editorial
  15. 1996 – 1999
    School of Oriental and African Studies
    Consultor de projetoColaborador
  16. 1994 – 1995
    Imperial College of Science, Technology and Medicine
    PESQUISADOR AssistentePesquisador temporario

Produção bibliográfica

213 registros
119 de 119 itens
Por página
  • 2025
    Approximations for Boolean Satisfiability
    João Felipe Pevidor Lobo; Marcelo Finger · EBL 2025 - Encontro Brasileiro de Lógica · Serra Negra
  • 2025
    Inadequacies of Logic to Address Big Data
    Marcelo Finger · EBL 2025 - Encontro Brasileiro de Lógica · Serra Negra
  • 2025
    SPIRA-BM: Biomarkers for Respiratory Conditions by Audio Analysis via Artificial Intelligence
    Marcelo Finger; GAZZOLA, MURILO; Marcus Martins; Jaqueline Scholz; Sara Ziotti; Larissa C. Berti +7 autores · SBCAS2025: XXV Simpósio Brasileiro de Computação Aplicada à Saúde · SBC Open Lib · Porto Alegre
  • 2025
    Large Language Models as Medical Codes Selectors: a benchmark using the International Classification of Primary Care
    Vinicius Anjos de Almeida; Vinicius de Camargo; Raquel Gomez Bravo; Kees van Boven; Egbert van der Haring; Marcelo Finger +1 autores · Neurips Second Workshop on GenAI for Health: Potential, Trust, and Policy Compliance, GenAI4Health 2025 · San Diego, California, USA
  • 2025
    Numerical information extraction in legal texts using open and closed Large Language Models
    BITELLI, BRUNO V.; Marcelo Finger · Encontro Nacional de Inteligência Artificial e Computacional · Sociedade Brasileira de Computação - SBC · Brasil
  • 2025
    Voice as a biomarker to detect asthma control and comorbidities: a cross-sectional study
    PIRES DE OLIVEIRA, YAN ANDERSON; Marcelo Finger; F. CARVALHO, CELSO R.; FURLAN JR, MARCIO A; DE LIMA, FABIANO FRANCISCO; PINHEIRO, DAVID HALEN ARAUJO +6 autores · ERS Congress 2025 abstracts · European Respiratory Society
  • 2024
    Exploring Computational Discernibility of Discourse Domains in Brazilian Portuguese within the Carolina Corpus
    Felipe Serras; Marcelo Finger; Mariana Sturzeneker; Miguel de Mello Carpi; Mayara Feliciano Palma; Maria Clara Crespo +4 autores · PROPOR2024: 16th International Conference on Computational Processing of Portuguese · Association for Computational Lingustics · Santiago de Compostela
  • 2024
    Carolina: a dual purpose corpus of contemporary Portuguese under continuous development
    Felipe Serras; Marcelo Finger; Mariana Sturzeneker; Maria Clara Crespo; Mayara Feliciano Palma; Miguel de Mello Carpi +4 autores · 5th OpenCor: Latin American and Iberian Languages Open Corpora Forum Full program · Santiago de Compostela
  • 2024
    Logical Approximation and Formal Verification of Neural Networks
    João Felipe Pevidor Lobo; Sandro Preto; Marcelo Finger · WORKSHOP BRASILEIRO DE LÓGICA · Sociedade Brasileira de Computação, · ISBN 2763-8731 · Brasilia
  • 2024
    Analysing and Validating Language Complexity Metrics Across South American Indigenous Languages
    Felipe Serras; Miguel de Mello Carpi; Matheus Castello Branco; Marcelo Finger · ACL Workshop on Cognitive Modeling and Computational Linguistics · ACL · Bangkok, Tayland
  • 2024
    Training Large Language Encoders with the Curated Carolina Corpus
    Paulo Cavalim; Guilherme Lamartine de Mello; Felipe Serras; Marcelo Finger; Pedro Domingues; Miguel de Mello Carpi +1 autores · 5th OpenCor: Latin American and Iberian Languages Open Corpora Forum · Santiago de Compostela
  • 2023
    Discriminant Audio Properties in Deep Learning Based Respiratory Insufficiency Detection in Brazilian Portuguese
    GAUY, MARCELO MATHEUS; Augusto C. Camargo Neto; Marcelo Finger · 21st International Conference on Artificial Intelligence in Medicine · Springer · ISBN 978-3-031-343 · Portoroz, Slovenia
  • 2023
    Benchmarking ¿ukasiewicz Logic Solvers with Properties of Neural Networks
    Preto, Sandro; MANYÀ, FELIP; Marcelo Finger · 2023 IEEE 53rd International Symposium on MultipleValued Logic (ISMVL) · IEEE · ISBN 9781665464161 · Matsue
  • 2023
    Linking ¿ukasiewicz Logic and Boolean Maximum Satisfiability
    Preto, Sandro; MANYÀ, FELIP; Marcelo Finger · 2023 IEEE 53rd International Symposium on MultipleValued Logic (ISMVL) · ISBN 9781665464161 · Matsue
  • 2022
    Carolina?s Methodology: building a large corpus with provenance and typology information
    Marcelo Finger; Maria Clara Paixão de Sousa; Mariana Sturzeneker; Maria Clara Crespo; Maria Lina Rocha; Vanessa Martins do Monte +1 autores · Second Workshop on Digital Humanities and Natural Language Processing · CEUR-WS.org · ISBN 1613-0073 · Fortaleza
  • 2022
    Pretrained audio neural networks for Speech emotion recognition in Portuguese
    Marcelo Finger; Marcelo Matheus Gauy · Speech Emotion Recognition in Portuguese · Fortaleza
  • 2022
    Detecting Respiratory Insufficiency Via Voice Analysis: The Spira Project
    Sandra Maria Aluísio; Marcus Martins; Marcelo G. Queiroz; Beatriz Raposo de Medeiros; Ester C. Sabino; Arnaldo Candido Jr +15 autores · Practical Machine Learning for Developing Countries on the Tenth International Conference on Learning Representations
  • 2022
    Bayesian Neural Models for Time-Series Prediction of CS28 Compressive Strength in Cement Manufacturing
    Thiago Lira; Marcelo Finger · ENCONTRO NACIONAL DE INTELIGÊNCIA ARTIFICIAL E COMPUTACIONAL (ENIAC) · Sociedade Brasileira de Computação · ISBN 2763-9061 · Campinas
  • 2022
    Establishing the Parameters of a Decentralized Neural Machine Learning Model
    Aline Ioste; Marcelo Finger · ENCONTRO NACIONAL DE INTELIGÊNCIA ARTIFICIAL E COMPUTACIONAL (ENIAC) · Sociedade Brasileira de Computação · ISBN 2763-9061 · Campinas
  • 2021
    Text-to-hashtag Generation using Seq2Seq Learning
    CAMARGO, AUGUSTO; CARVALHO, WESLEY; PERESSIM, FELIPE; BARZILAY, ALAN; Marcelo Finger · Brazilian eScience Workshop · Sociedade Brasileira de Computação · Brasil
  • 2021
    Transfer Learning and Data Augmentation Techniques to the COVID-19 Identification Tasks in ComParE 2021
    CASANOVA, EDRESSON; CANDIDO JR., ARNALDO; FERNANDES JR., RICARDO CORSO; Marcelo Finger; GRIS, LUCAS RAFAEL STEFANEL; PONTI, MOACIR ANTONELLI +1 autores · Interspeech 2021 · ISCA
  • 2021
    Deep Learning against COVID-19: Respiratory Insufficiency Detection in Brazilian Portuguese Speech
    CASANOVA, EDRESSON; Marcelo Finger; GRIS, LUCAS; CAMARGO, AUGUSTO; DA SILVA, DANIEL; GAZZOLA, MURILO +4 autores · Findings of the Association for Computational Linguistics: ACLIJCNLP 2021 · Association for Computational Linguistics · Online
  • 2021
    Audio MFCC-gram Transformers for respiratory insufficiency detection in COVID-19
    GAUY, MARCELO MATHEUS; Marcelo Finger · Simpósio Brasileiro de Tecnologia da Informação e da Linguagem Humana · Sociedade Brasileira de Computação · Brasil
  • 2021
    verBERT: Automating Brazilian Case Law Document Multi-label Categorization Using BERT
    SERRAS, FELIPE R.; Marcelo Finger · Simpósio Brasileiro de Tecnologia da Informação e da Linguagem Humana · Sociedade Brasileira de Computação · Brasil
  • 2021
    A PAUSA COMO UM BIOMARCADOR NA FALA DE PACIENTES COM COVID-19
    Larissa C. Berti; Marcelo Finger; Marcus Martins; Flaviane Fernandes-Svartman; Marcelo Gomes de Queiroz; Beatriz Raposo de Medeiros +4 autores · XXIX Congresso Brasileiro e o IX Congresso Internacional de Fonoaudiologia 2021 · ISBN 9786586760095 · On line

Produção técnica

10 registros
2 de 2 itens
Por página
  • 2019
    Artificial intelligence symposium: where do we stand in the substitution of physicians by machines
    Marcelo Finger
    Conferencia
  • 2010
    A Defeated Conjecture on Probabilistic Satisfiability
    Marcelo Finger; Glauber De Bona
    Conferencia

Produção artística

01 registro
1 de 1 item
Por página
  • 2010
    BandPro 2010 - Apresentação sobre Graduação em Ciência da Computação
    Marcelo Finger · São Paulo
    Divulgação de Graduação em Ciência da Computação

Projetos

06 registros

Projetos de pesquisa e de desenvolvimento tecnológico registrados no Currículo Lattes.

6 de 6 projetos
Por página
  • 2023 – presentePesquisa

    SPIRA-BM: Biomarcadores para Condições Respiratórias em Dispositivos Móveis por Análise de Áudio via Inteligência Artificial

    Em andamento

    O objetivo deste estudo é investigar biomarcadores de áudio para condições respiratórias como insuficiência respiratória, asma tabagismo, e desenvolver detectores baratos para estes biomarcadores, utilizando de coleta e processamento de áudio em dispositivos de computação móvel e lançando mão de técnicas de aprendizado automático, inteligência artificial e análise de sinais.

    Financiadores
    • Fundação de Amparo à Pesquisa do Estado de São Paulo · AUXILIO_FINANCEIRO
    Equipe

    Marcelo Finger (Responsável), Alfredo Goldman, Larissa C. Berti, Flaviane Fernandes-Svartman, Elisa Yumi Nakagawa

  • 2020 – presentePesquisa

    C4AI -- Centro de Inteligência Artificial/Center for Artificial Intelligence

    Em andamento

    Centro de Engenharia IBM-Fapesp proc 2019/07665-4 (Pesquisador Principal e coordenador da área de processamento de linguagem natural)

    Financiadores
    • Fundação de Amparo à Pesquisa do Estado de São Paulo · AUXILIO_FINANCEIRO
    Equipe

    Marcelo Finger, Fabio Gagliardi Cozman (Responsável)

  • 2020 – presentePesquisa

    Corpus Carolina - Laboratório Virtual de Humanidades Digitais (LaViHD), Centro de Inteligência Artificial (C4AI)

    Em andamento

    Projeto apoiado pela empresa IBM Research Brazil em 18/05/2022.
Descrição: Tem como objetivo geral desenvolver sistemas que avancem o estado da arte do Processamento de Linguagem Natural para o português brasileiro, atingindo um novo patamar em qualidade de geração e desempenho em relação ao que existe hoje. Para isso, a primeira etapa da pesquisa prevê a construção de um corpus multigênero com um volume de textos robusto e inédito na língua portuguesa.
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (6) / Mestrado acadêmico: (3) / Doutorado: (2) .

    Financiadores
    • Universidade de São Paulo · BOLSA
    Equipe

    Marcelo Finger (Responsável), Maria Clara Paixão de Sousa, Vanessa Martins do Monte, Cristiane Namiuti

  • 2020 – presentePesquisa

    Projeto SPIRA: Sistema de detecção Precoce de Insuficiência Respiratória por meio de análise de Áudio

    Em andamento

    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 O$_2$ e à frequência respiratória que permitam distinguir os dois grupos.A ferramenta de classificação automática proposta será baseada em técnicas de inteligência artificial, processamento de sinais e aprendizado de máquina, e servirá inicialmente para facilitar a triagem de pacientes que precisam procurar auxílio médico-hospitalar. Numa segunda etapa, a ferramenta poderá ajudar sistemas de telemedicina a monitorar pacientes de forma contínua, permitindo o acompanhamento da evolução de pacientes internados.

    Financiadores
    • Fundação de Amparo à Pesquisa do Estado de São Paulo · AUXILIO_FINANCEIRO
    Equipe

    Marcelo Finger (Responsável), Alfredo Goldman, Sandra Maria Aluísio, Marcelo Gomes de Queiroz

  • 2011 – 2011Pesquisa

    Professor visitante na Universidade de Toulouse (IRIT), França

    Concluído

    DEZEMBRO DE 2011

    Financiadores
    • · NAO_INFORMADO
    Equipe

    Marcelo Finger (Responsável)

  • 2009 – 2012Pesquisa

    Projeto Temático Fapesp LOGPROB: Lógica Probabilística --- Fundamentos e Aplicações Computacionais

    Concluído

    LOGPROB: Probabilistic Logic --- Foundations and Computational Applications
Principal Investigator: Marcelo Finger, FAPESP (Brazilian Funding Agency) Thematic Project
2008/03995-5, 2009-2012.

    Financiadores
    • Fundação de Amparo à Pesquisa do Estado de São Paulo · AUXILIO_FINANCEIRO
    Equipe

    Marcelo Finger (Responsável), Renata Wassermann, Leliane Nunes de Barros, Fabio Gagliardi Cozman, Paulo Eduardo Santos

Orientações

10 de 10 orientações
Por página
  • Mestrado
    desde 2025
    Vítor Hideki Ishikura · Orientação
    Imputação de dados no contexto de previsão da resistência à compressão do cimento por aprendizado automático · Ciências da Computação · Universidade de São Paulo
    Em andamento
  • Mestrado
    desde 2025
    Felipe de Lima Peressim · Orientação
    Machine learning models for the prediction of 28-day cement compressive strength · Ciências da Computação · Universidade de São Paulo · Bolsa Coordenação de Aperfeiçoamento de Pessoal de Nível Superior
    Em andamento
  • Mestrado
    desde 2025
    Guilherme Lamartine de Mello · Orientação
    Pré-Treinamento de Modelos Linguísticos para o Português Brasileiro · Ciências da Computação · Universidade de São Paulo
    Em andamento
  • Mestrado
    desde 2025
    João Felipe Lobo Pevidor · Orientação
    Approximations of SATisfiability · Ciências da Computação · Universidade de São Paulo · Bolsa Coordenação de Aperfeiçoamento de Pessoal de Nível Superior
    Em andamento
  • Mestrado
    desde 2025
    Augusto Cesar de Camargo Neto · Orientação
    Safeguarding AI-Based Vocal Biomarkers in Noisy Environments · Ciências da Computação · Universidade de São Paulo
    Em andamento
  • Mestrado
    desde 2025
    Miguel de Mello Carpi · Orientação
    Building Scalable Language Models in Resource-Constrained Environments: a case studty in Brazilian Portuguese · Ciências da Computação · Universidade de São Paulo · Bolsa Fundação de Amparo à Pesquisa do Estado de São Paulo
    Em andamento
  • Mestrado
    desde 2025
    Matheus Castello Branco Lima de Araujo · Orientação
    Aprendizado de Máquina na Detecção de Refatorações de Código · Ciências da Computação · Universidade de São Paulo
    Em andamento
  • Doutorado
    desde 2025
    Wesley Seidel Carvalho · Orientação
    Análise Automática de Fluência de Leitura por meio de Redes Neurais · Ciências da Computação · Universidade de São Paulo
    Em andamento
  • Doutorado
    desde 2025
    Felipe Ribas Serras · Orientação
    Perspectivas Computacionais Sobre Complexidade Linguística · Ciências da Computação · Universidade de São Paulo · Bolsa Fundação de Amparo à Pesquisa do Estado de São Paulo
    Em andamento
  • Pós-doutorado
    desde 2025
    Ana Carolina Bottura de Barros · Orientação
    · Universidade de São Paulo
    Em andamento

Bancas julgadoras

129 registros
129 de 129 bancas
Por página
  • 2022
    Banca de Professor Titular de Claudia Nalon
    · Universidade de BrasíliaBanca: Marcelo Finger, Mauricio Ayala Rincon, Mário Benevides, Ana Teresa de Castro Martins
    Professor titular
  • 2022
    Presidente da Banca de LIvre Docência de Denis Deratani Maua
    · Universidade de São PauloBanca: Marcelo Finger, Denis Deratani Mauá
    Livre-docência
  • 2021
    Rodrigo Amorim Ruiz
    Jurisprudence Search Based on Fact Similarity Using NLP and ML Techniques · Engenharia Elétrica · Universidade de São PauloBanca: Marcelo Finger, Glauber De Bona
    Mestrado
  • 2021
    Felipe Ribas Serras
    Algoritmos baseados em atenção neural para a automação da classificação multirrótulo de acórdãos jurídicos · Ciências da Computação · Universidade de São PauloBanca: Marcelo Finger
    Mestrado
  • 2021
    Bruno Leme
    Classificação automática de documentos de características econômicas para defesa jurídica · Ciências da Computação · Universidade de São PauloBanca: Marcelo Finger
    Mestrado
  • 2021
    Sidney Evaldo Leal
    Predição da complexidade sentencial do português brasileiro escrito, usando métricas linguísticas, psicolinguísticas e de rastreamento ocular · Ciências da Computação · Universidade de São PauloBanca: Marcelo Finger
    Doutorado
  • 2021
    Sandro Márcio da Silva Preto
    Semantics Modulo Satisfiability with Applications: Function Representation, Probabilities and Game Theory · Ciências da Computação · Universidade de São PauloBanca: Marcelo Finger
    Doutorado
  • 2021
    Alexandre Tadeu Salle
    The Role of Negative Information when Learning Dense Word Vectors · Computação · Universidade Federal do Rio Grande do SulBanca: Marcelo Finger
    Doutorado
  • 2021
    DANIEL PEIXOTO PINTO DA SILVA
    ANÁLISE DE INTERPRETABILIDADE EM MODULO PROFUNDO PARA DETECÇÃO DE INSUFICIÊNCIA RESPIRATÓRIA: UM ESTUDO DE CASO PARA A COVID-19 · Ciência da Computação · Universidade Tecnológica Federal do ParanáBanca: Marcelo Finger
    Graduação
  • 2021
    Anarosa Alves Brandão
    · Universidade de São PauloBanca: Marcelo Finger
    Livre-docência
  • 2020
    Gabriela Souza de Melo
    Winograd Schemas in Portuguese · Engenharia Elétrica · Universidade de São PauloBanca: COZMAN, FABIO GAGLIARDI, Marcelo Finger
    Mestrado
  • 2020
    Marcelo de Rezende Martins
    Uso de redes neurais convolucionais na recuperação de trecho de código- fonte · Engenharia de Computação · Instituto de Pesquisas Tecnológicas do Estado de São PauloBanca: Marcelo Finger, Marco Aurelio Gerosa
    Mestrado
  • 2019
    Edilson José Rodrigues
    DEFINIÇÃO E IMPLEMENTAÇÃO DE UMA SEMÂNTICA DE SUPERVALORAÇÃO PARA POLISSEMIA EM EXPRESSÕES ESPACIAIS · Ciência da Computação · Centro Universitário FEIBanca: Marcelo Finger, Paulo Eduardo Santos
    Doutorado
  • 2018
    Maria Ines nCorbalab
    From Generative Linguistics to Categorial Grammars: Overt Subjects in Control Infinitives · Filosofia · Universidade Estadual de CampinasBanca: Marcelo Finger
    Doutorado
  • 2017
    Rafael Reggiani Manzo
    Um Método de Tractografia Global Utilizando Imagens de Ressonância Magnética Ponderadas por Difusão · Ciências da Computação · Universidade de São PauloBanca: Marcelo Finger
    Mestrado
  • 2017
    CAROLINA BLASIO DA SILVA
    Sobre Noções de Consequência Generalizadas e Lógicas Plurivalentes · Lógica e Filosofia da Ciência · Universidade Estadual de CampinasBanca: Marcelo Finger
    Doutorado
  • 2017
    Concurso UFMG para professor Titular em Ciência da Computação
    · Universidade Federal de Minas GeraisBanca: Marcelo Finger
    Professor titular
  • 2017
    Roberto Souto Maior de Barros: Advances in Data Stream Mining with Concept Drift
    · Universidade Federal de PernambucoBanca: Marcelo Finger
    Professor titular
  • 2017
    Comissão julgadora UFABC
    · Universidade Federal do ABCBanca: Marcelo Finger
    Concurso público
  • 2017
    Daniel Macêdo Batista
    · Universidade de São PauloBanca: Marcelo Finger
    Livre-docência
  • 2016
    Yuri David Sandos
    Pseudo-contrações em revisões de crença · Ciências da Computação · Universidade de São PauloBanca: Marcelo Finger, Renata Wassermann
    Mestrado
  • 2016
    Fabio Henrique Santana Machado
    Análise de desempenho em Redes Bayesianas com largura de árvore limitada · Engenharia Elétrica · Universidade de São PauloBanca: COZMAN, FABIO G., Marcelo Finger
    Mestrado
  • 2016
    Viviane Santos da Silva
    Desambiguação automática de substantivos em corpus do português brasileiro · Lingüística · Universidade de São PauloBanca: Marcelo Finger
    Mestrado
  • 2016
    JOEL LUIS CARBONERA
    Um arcabouço cognitivamente inspirado para representação de conhecimento e raciocínio · Computação · Universidade Federal do Rio Grande do SulBanca: Marcelo Finger
    Doutorado
  • 2016
    Ana Cristina Rocha Oliveira Valverde
    Unificação, Confluência e Tipos com Intersecção para Sistemas de Reescrita Nominal · Informática · Universidade de BrasíliaBanca: Marcelo Finger
    Doutorado

Revisor de periódico

10 registros
  1. 2008 – presenteVínculo atual
    Synthese (Dordrecht)
    Revisor de periódico
  2. 2007 – presenteVínculo atual
    Handbook of Philosophical Logic
    Revisor de periódico
  3. 2007 – presenteVínculo atual
    Information and Computation
    Revisor de periódico
  4. 2007 – presenteVínculo atual
    Journal of the Brazilian Computer Society
    Revisor de periódico
  5. 2007 – presenteVínculo atual
    Mathematical Reviews
    Revisor de periódico
  6. 2007 – presenteVínculo atual
    Journal of Natural Language Engineering
    Revisor de periódico
  7. 2007 – presenteVínculo atual
    Studia Logica
    Revisor de periódico
  8. 1995 – presenteVínculo atual
    Journal of Logic and Computation
    Revisor de periódico
  9. 1995 – presenteVínculo atual
    Logic Journal of the IGPL
    Revisor de periódico
  10. 1995 – presenteVínculo atual
    Annals of Pure and Applied Logic
    Revisor de periódico

Prêmios e títulos

19 registros
19 de 19 prêmios
Por página
  • 2022
    1st place in Speech Emotion Recognition in Portuguese
    Propor2022 Shared Task in Speech Emotion Recognition in Portuguese
  • 2022
    Melhor artigo do Encontro Nacional de Inteligência Artificial e Computacional (ENIAC)
    Brazilian Conference on Intelligent Systems (BRACIS 2022)
  • 2021
    Stefan Steidl Computational Paralinguistics Award, COVID-19 Cough Sub-Challenge Prize
    INTERSPEECH
  • 2021
    Excelência em Fonoaudiologia 2021 pelo trabalho A PAUSA COMO UM BIOMARCADOR NA FALA DE PACIENTES COM COVID-19
    XXIX Congresso Brasileiro e o IX Congresso Internacional de Fonoaudiologia
  • 2017
    Best Paper Award, 2nd Place, Eniac 2017
    Brazilian Computer Society
  • 2016
    Menção Honrosa no Prêmio melhor artigo ENIAC 2016
    Sociedade Brasileira de Computação
  • 2012
    Melhor Dissertação de Mestrado em Inteligência Artificial -- aluno: Glauber De Bona
    CTDIA / CEIA/ SBC
  • 2010
    Prêmio Voo Livre, categoria Desenvolvimento
    Encontro Nacional do BrOffice.org ver:http://ccsl.ime.usp.br/pt-br/news/10/04/27/membro-do-ccsl-rece
  • 2010
    Prêmio da Delegação Européia pela participação no Sétimo Programa Quadro
    Delegação da União Européia no Brasil
  • 2007
    1o lugar no Prêmio Jaboti 2007, categoria 6 - CIÊNCIAS EXATAS, TECNOLOGIA E INFORMÁTICA com o livro LÓGICA PARA COMPUTAÇÃO - FLÁVIO S. C. DA SILVA, MARCELO FINGER E ANA C. V. DE MELO
    CBL - Câmara Brasileira do Livro
  • 2007
    Finalista como orientador de Eugênio Akihiru Nassu
    Prêmio Santander de Empreendedorismo, Ciência e Inovação
  • 2006
    Prêmio de Desempenho Didático, primeiro semestre de 2006
    Faculdade de Economia, Administração e Contabilidade (FEA/USP) Curso de Graduação em Administração
  • 2005
    Prêmio de Desempenho Didático (prêmio duplo), primeiro semestre de 2005
    Faculdade de Economia, Administração e Contabilidade (FEA/USP) Curso de Graduação em Administração
  • 2004
    Prêmio Desempenho Didático -- 1o semestre de 2004
    Faculdade de Economia, Administração e Contabilidade (FEA/USP) Curso de Graduação em Administração
  • 2002
    Prêmio de Desempenho Didático do Curso de Graduação em Administração
    Faculdade de Administração, Economia e Contabilidade FEA-USP, pelo curso de MAC-113
  • 2002
    Paraninfo da turma de Formandos de 2001
    Departamento de Ciência da Computação, IME/USP
  • 1995
    The Imperial College Armstrong Prize and Medal 1995.
    Imperial College
  • 1994
    The Imperial College Computing Trust prize for the best PhD thesis in 1993/94.
    Imperial College
  • 1990
    Convocation Sesquicentenial Prize in Advanced Engineering by the Convocation Trust, University of London, 1990.
    Universidade de Londres

Participação em eventos

44 registros
44 de 44 participações
Por página
  • 2017
    Counting Quantifiers
    AAAI · Apresentação oral · Participante · São Francisco
  • 2017
    Frocos 2017: 11th Symposiun on Frontiers of Combining Systems
    FroCoS 2017 · Outras formas · Participante · Brasília
  • 2016
    Quantitative Logic Reasoning
    Trends in Logic XVI: Consistency, Contradiction, Paraconsistency and Reasoning - 40 years of CLE · Conferencista · Convidado · Campinas
  • 2016
    Raciocínio Probabilístico sobre Inconsistência
    XLV Escola de Verão MAT-UnB · Conferencista · Convidado · Brasilia
  • 2014
    Lógica Probabilística: Fundamentos e Aplicações à Inteligência Artificial.
    XLIII Escola de Verão do MAT-UnB · Conferencista · Convidado · Brasilia
  • 2013
    Solutions for Hard and Soft Constraints Using Optimized Probabilistic Satisfiability
    SAT 2013 · Apresentação oral · Participante · Helsinki
  • 2013
    Interface entre Ciêntistas da Computação e Linguistas
    I Seminário Internaciona, em Humanidades Digitais · Conferencista · Convidado · São Paulo
  • 2012
    Quantitative Logic Reasoning
    X Workshop de Verão em Matemática · Conferencista · Convidado · Brasília
  • 2011
    A modal view of probabilistic logic
    M4M - Methods for Modalities · Conferencista · Convidado · Osuna
  • 2011
    Probabilistic Satisfiability: Logic-Based Algorithms and Phase Transition.
    IJCAI - International Joint Copnference of Artificial Intelligence · Apresentação Oral · Participante · BArcelona
  • 2011
    Completude para a Abdução Baseada em Corte
    EBL - Brazilian Logic Symposium · Apresentação Oral · Participante · NIterói
  • 2011
    Classical and Quantum Satisfiability
    LSFA 2011 · Apresentação Oral · Participante · Belo Horizonte
  • 2010
    IBERAMIA 2010 -- 12th Ibero-American Conference on Artificial Intelligence
    IBERAMIA 2010 -- 12th Ibero-American Conference on Artificial Intelligence · Apresentação Oral · Participante · Bahia Blanca
  • 2010
    Wollic 2010 -- 17th Workshop on Logic, Language, Information and Computation
    Wollic 2010 · Conferencista · Convidado · Brasília
  • 2010
    SBIA 2010 -- 20th Brazilian Symposium on Artificial Intelligence
    SBIA 2010 -- 20th Brazilian Symposium on Artificial Intelligence · Apresentação Oral · Participante · São B ernardo do Campo -SP
  • 2009
    Polynomial Time Cut Elimination for Classical Logic
    CLE/AIPS --- Science, Truth and Consistency · Apresentação Oral · Participante · Campinas
  • 2009
    Towards First-Order Cut-Based Abduction
    MBR'09 -- Model-Based Reasoning in Science and Technology (Abduction, Logic, and Computational Discovery) · Apresentação Oral · Participante · Campinas
  • 2009
    Towards an efficient prover for the C_1-paraconsistent logic
    LSFA 2009 --- Fourth Workshop on Logical and Semantic Frameworks, with Applications · Apresentação Oral · Participante · Brasilia
  • 2008
    Minimality in Axiomatizations: an Algebraic Approach
    XV Encontro Brasileiro de Lógica/ XIV Simpósio Latino Americado de Lógica Matemática · Apresentação Oral · Participante · Paraty
  • 2008
    Using Abduction to Compute Efficient Proofs
    LSFA -- Third Workshop on Logical and Semantic Frameworks, with Applications · Conferencista · Convidado · Salvador
  • 2007
    Computing Non-Analytic Cuts Using Algebraic Methods
    King's College Seminars on Computing. · Simposiasta · Convidado · London
  • 2007
    Teoria da Prova -- Provas não Analíticas
    Seminário Brasileiro de Análise SBA · Conferencista · Convidado · São Paulo
  • 2006
    Applications of Machine Learning to Computational Linguistics
    Propor 2006 - Computational Processing of Portuguese · Conferencista · Convidado · Rio de Janeiro
  • 2006
    Encontro Brasileiro de Lógica
    XIV Encontro Brasileiro de Lógica · RJ
  • 2006
    Palestrante Convidado -- Raciocínio Aproximado
    Escola de Verão 2006 · Brasília

Coautorias

28 coautores

Na imprensa

beta

Versão beta: esta seção é experimental e pode ser alterada ou removida a qualquer momento, e os dados podem estar incompletos ou incorretos.

As notícias são ligadas ao docente automaticamente, pelas etiquetas do Jornal ou pelo nome no texto (o nome abreviado só conta quando vem depois de um título como “professora”). Homônimos ficam de fora; ainda pode haver falsos positivos e omissões.