Faculdade de Filosofia, Letras e Ciências Humanas
Portal de Dados
Logo da Universidade de São Paulo
Não autenticado |

Bernardo Nunes Gonçalves

    • Doutor em Modelagem Computacional pelo Laboratório Nacional de Computação Científica (2015, programa CAPES 7), e doutor em Filosofia pela USP (2021, programa CAPES 7), mestre e bacharel em Ciência da Computação pela UFES. Foi eleito Visiting Fellow do King's College, Universidade de Cambridge, em 20 de Março, 2023. Autor do livro The Turing Test Argument (New York: Routledge, 2023). Atua nas áreas de Inteligência Artificial, Ciência de Dados, Fundamentos da Computação e da IA, História e Filosofia da Ciência e da Tecnologia, Estudos sobre Turing. Atualmente é Pesquisador Afiliado do Departamento de História e Filosofia da Ciência, Universidade de Cambridge, e bolsista FAPESP de pós-doutorado na Escola Politécnica da USP com o projeto de pesquisa "O futuro da inteligência artificial: a estrutura lógica do argumento de Alan Turing" (https://bv.fapesp.br/pt/bolsas/191927/o-futuro-da-inteligencia-artificial-a-estrutura-logica-do-argumento-de-alan-turing/). Anteriormente, foi pesquisador cientista pleno da IBM Research no laboratório do Brasil (2016-2020) com pesquisa científica, tecnológica e inovação em Inteligência Artificial aplicada a grande indústrias globais. Foi também pesquisador visitante no Departamento de Ciência da Computação da Universidade de Michigan (2015-2016) com apoio do CNPq.

       

      Links:    

    • Bancos de Dados Probabilísticos
    • e-Ciência
    • 'Q&A systems' (Sistemas de perguntas e respostas com base em dados estruturados e não-estruturados)
    • 'AKBC' (Construção Automática de Bases de Conhecimento)
    • Recuperação de Informação em Bancos de dados relacionais (Desambiguação de consultas imprecisas)
    • Turing studies
    • The Future of Artificial Intelligence
    • Measures of Intelligence
    • Turing Studies
    • The Future of Artificial Intelligence
    • Measures of Intelligence
    • GONÇALVES, B. . [LIVRO INTERNACIONAL] The Turing Test Argument. New York and London : Routledge, 2023 . 238p. ISBN: 9781032291574.
    • GONÇALVES, BERNARDO . Para roubar o fogo dos deuses: Alan Turing (1912-1954), Prometeu moderno REVISTA PERSPECTIVA FILOSÓFICA , v. 49 , p. 283 - 305 , 2022. ISSN: 23579986.
    • GONÇALVES, BERNARDO . What was the Turing test actually about? Nature , v. 624 , p. 523 - 523 , 2023. ISSN: 14764687.
    • GONÇALVES, BERNARDO . Lady Lovelace's Objection: The Turing-Hartree Disputes over the Meaning of Digital Computers, 1946-1951 IEEE ANNALS OF THE HISTORY OF COMPUTING , v. 46 , p. 6 - 18 , 2024. ISSN: 10586180.
    • GONÇALVES, BERNARDO . Irony with a Point: Alan Turing and His Intelligent Machine Utopia Philosophy & Technology , v. 36 , p. 50 - 81 , 2023. ISSN: 22105433.
    • GONÇALVES, BERNARDO . The Turing Test is a Thought Experiment MINDS AND MACHINES , v. 33 , p. 1 - 31 , 2022. ISSN: 09246495.
    • GONÇALVES, B. . Can machines think? The controversy that led to the Turing test AI & Society , v. 38 , p. 2499 - 2509 , 2023. ISSN: 09515666.
    • Carbonera, J. ; GONÇALVES, B. ; de Souza, C. . O problema da explicação em Inteligência Artificial: considerações a partir da semiótica TECCOGS: REVISTA DIGITAL DE TECNOLOGIAS COGNITIVAS , v. 17 , p. 59 - 75 , 2018. ISSN: 19843585.
    • GONÇALVES, B. ; JAGADISH, H. V. . Bsmooth: Learning from user feedback to disambiguate query terms in interactive data retrieval INTERNATIONAL JOURNAL OF APPROXIMATE REASONING , v. 101 , p. 10 - 30 , 2018. ISSN: 0888613X.
    • GONÇALVES, B. ; PORTO, F. . A note on the complexity of the causal ordering problem ARTIFICIAL INTELLIGENCE , v. 238 , p. 154 - 165 , 2016. ISSN: 00043702.
    • Fábio Porto ; COSTA, RAMON G. ; MOURA, ANA MARIA DE C. ; GONÇALVES, B. . Modeling and Implementing Scientific Hypothesis JOURNAL OF DATABASE MANAGEMENT , v. 26 , p. 1 - 13 , 2015. ISSN: 10638016.
    • GONCALVES, BERNARDO ; PORTO, FABIO . Managing Scientific Hypotheses as Data with Support for Predictive Analytics COMPUTING IN SCIENCE & ENGINEERING , v. 17 , p. 35 - 43 , 2015. ISSN: 15219615.
    • GONÇALVES, B. ; PORTO, F. . Y-DB: Managing scientific hypotheses as uncertain data Proceedings of the VLDB Endowment , v. 7 , p. 959 - 962 , 2014. ISSN: 21508097.
    • Correa, Bruno S. P. M. ; GONÇALVES, B. ; Teixeira, Iuri M. ; Gomes, Antônio T. A. ; Ziviani, Artur . AToMS: A Ubiquitous Teleconsultation System for Supporting AMI Patients with Prehospital Thrombolysis International Journal of Telemedicine and Applications , v. 2011 , p. 1 - 12 , 2011. ISSN: 16876423.
    • GONÇALVES, B. ; Guizzardi, Giancarlo ; Pereira Filho, José G. . Using an ECG reference ontology for semantic interoperability of ECG data JOURNAL OF BIOMEDICAL INFORMATICS , v. 44 , p. 126 - 136 , 2011. ISSN: 15320464.
    • GONÇALVES, B. ; ZAMBORLINI, V. ; GUIZZARDI, G. . An ontological analysis of the electrocardiogram RECIIS. Electronic Journal of Communication Information and Innovation in Health (English edition. Online) , v. 3 , p. 45 - 59 , 2009. ISSN: 19816286.
    • GONÇALVES, B. . Os primeiros 60 anos de feitos da Inteligência Artificial --- Revisitando as previsões de Herbert Simon . O Estado de São Paulo , Coluna de cultura , 12 abr. 2018.
    • GONÇALVES, B. ; COZMAN, F. G. . The Future of AI: Neat or Scruffy?. In: 10th Brazilian Conference on Intelligent Systems (BRACIS'21) , 2021 , São Paulo. Britto, A., Valdivia Delgado, K. (eds) Intelligent Systems. BRACIS 2021. Lecture Notes in Artificial Intelligence vol. 13074. Cham : Springer, 2021. p. 177 - 192.
    • VASCONCELOS, MARISA ; CARDONHA, CARLOS ; GONÇALVES, BERNARDO . Modeling Epistemological Principles for Bias Mitigation in AI Systems. In: the 2018 AAAI/ACM Conference , 2018 , New Orleans. Proceedings of the 2018 AAAI/ACM Conference on AI, Ethics, and Society - AIES '18. : , 2018. p. 323 - 329.
    • GONCALVES, BERNARDO . Show Me the Material Evidence ¿ Initial Experiments on Evaluating Hypotheses from User-Generated Multimedia Data. In: 2016 IEEE International Symposium on Multimedia (ISM) , 2016 , San Jose. 2016 IEEE International Symposium on Multimedia (ISM). : IEEE, . p. 685 - 690.
    • GONÇALVES, BERNARDO ; PORTO, FABIO . Research lattices. In: the 25th International Conference , 2013 , Baltimore. Proceedings of the 25th International Conference on Scientific and Statistical Database Management - SSDBM. New York : ACM Press, . p. 1 - 4.
    • GONÇALVES, B. ; PORTO, F. . A Lattice-Theoretic Approach for Representing and Managing Hypothesis-driven Research. In: 7th Alberto Mendelzon International Workshop on Foundations of Data Management , 2013 , Puebla, Mexico. Proc. of the 7th Alberto Mendelzon International Workshop on Foundations of Data Management. : , 2013. p. 1 - 7.
    • GONÇALVES, B. ; PORTO, F. ; MOURA, A. M. C. . On the semantic engineering of scientific hypotheses as linked data. In: Linked Science Workshop (LISC'12), co-located with ISWC'12 , 2012 , Boston. Proc. of the 2nd International Linked Science Workshop. : , 2012.
    • PORTO, F. ; MOURA, A. M. C. ; GONÇALVES, B. ; COSTA, R. G. ; SPACCAPIETRA, S. . A scientific hypothesis conceptual model. In: International Conference on Advances in Conceptual Modeling (ER'12) , 2012 , Florence. Proceedings of the 2012 International Conference on Advances in Conceptual Modeling (ER'12). : Springer, 2012. p. 101 - 110.
    • GONÇALVES, B. ; PORTO, F. ; MOURA, A. M. C. . Extending scientific workflows for managing hypotheses and models. In: VI Brazilian e-Science Workshop (BRESCI'12) , 2012 , Curitiba. Anais do XXXII Congresso da Sociedade Brasileira de COmputação. : SBC, 2012. p. 1 - 7.
    • GONÇALVES, B. ; ZAMBORLINI, V. ; GUIZZARDI, G. ; PEREIRA FILHO, J. G. . An ontology-based application in heart electrophysiology: Representation, reasoning and visualization on the web. In: Symposium on Applied Computing , 2009 , Hawaii, USA. Proceedings of the 2009 ACM symposium on Applied Computing. New York, USA : ACM, 2009. p. 816 - 820.
    • GONÇALVES, B. ; ZAMBORLINI, V. ; GUIZZARDI, G. ; PEREIRA FILHO, J. G. . Using a lightweight ontology of heart electrophysiology in an interactive web application. In: 14th Brazilian Symposium on Multimedia and the Web , 2008 , Vila Velha. Proceedings of the 14th Brazilian Symposium on Multimedia and the Web. New York : ACM, 2008. p. 77 - 80.
    • ZAMBORLINI, V. ; GONÇALVES, B. ; GUIZZARDI, G. . Codification and Application of a Well-Founded Heart-ECG Ontology. In: 3rd Workshop Workshop on Ontologies and Metamodels in Software and Data Engineering , 2008 , Campinas. Proceedings of the 3rd Workshop Workshop on Ontologies and Metamodels in Software and Data Engineering. : , 2008.
    • GONÇALVES, B. ; PEREIRA FILHO, J. G. ; ANDREAO, R. V. . EcgAware: An ECG Markup Language for Ambulatory Telemonitoring and Decision Making Support. In: International Conference on Health Informatics (HEALTHINF'08) , 2008 , Funchal, Portugal. Proceedings of the First International Conference on Health Informatics (HEALTHINF'08). : INSTICC - Institute for Systems and Technologies of Information, Control and Communication, 2008. p. 37 - 43.
    • GONÇALVES, B. ; GUIZZARDI, G. ; PEREIRA FILHO, J. G. . An Electrocardiogram (ECG) Domain Ontology. In: II Workshop on Ontologies and Metamodels for Software and Data Engineering (WOMSDE 07) , 2007 , João Pessoa, Brazil. Proceedings of the Second Brazilian Workshop on Ontologies and Metamodels for Software and Data Engineering (WOMSDE 07). : , 2007. p. 68 - 81.
    • GONÇALVES, B. ; GUIZZARDI, G. ; PEREIRA FILHO, J. G. . A Service Architecture for Sensor Data Provisioning for Context-aware Mobile Applications. In: Symposium on Applied Computing , 2008 , Fortaleza, Brazil. Proceedings of the 2008 ACM symposium on Applied computing. : , 2008. p. 1946 - 1952.
    • GONÇALVES, B. ; PEREIRA FILHO, J. G. ; ANDREAO, R. V. ; GUIZZARDI, G. . ECG Data Provisioning for Telehomecare Monitoring. In: Symposium on Applied Computing , 2008 , Fortaleza, Brazil. Proceedings of the 2008 ACM symposium on Applied computing. : , 2008. p. 1374 - 1379.
    • MARTINS-JR, D. C. ; SANTOS, C. S. ; GONÇALVES, B. . Workshop internacional de eScience (UFABC - https://poscomp.ufabc.edu.br/eventos/workshop-de-escience/). : , 2017 (Organização de Simpósio)
    • GONÇALVES, B. ; MARICONDA, P. R. . Aspectos filosóficos, históricos e sociais da Inteligência Artificial - Associação de Filosofia e História da Ciência do Cone Sul - http://www.afhic.com/pt/encontro/simposios/. : , 2018 (Organização de Simpósio)
  • Apresentações de Trabalho: 19
    • GONÇALVES, B. ; COZMAN, F. G. . ?The Future of AI: Neat or Scruffy??. 2021 (Comunicacao)
    • GONÇALVES, B. . Lady Lovelace's Objection: The Turing-Hartree Disputes over the Meaning of Digital Computers, 1946-1951 (HaPoC 2023). 2023 (Comunicacao)
    • GONÇALVES, B. . Lady Lovelace?s Objection: The Turing-Hartree Disputes over the Meaning of Digital Computers, 1946-1951 (SIGCIS'23). 2023 (Comunicacao)
    • GONÇALVES, B. ; HAGGSTROM, O. . Alan Turing's Intelligent Machine Utopia. 2023 (Conferência)
    • GONÇALVES, B. . A visão de Turing acerca das máquinas pensantes. 2018 (Seminário)
    • GONÇALVES, B. . A função do teste de Turing como experimento mental é questionar a doutrina da bête-machine. 2018 (Comunicacao)
    • GONÇALVES, B. . As máquinas podem pensar: O objeto de estudo do teste de Turing é uma hipótese existencial. 2018 (Comunicacao)
    • GONÇALVES, BERNARDO . Show Me the Material Evidence: Initial Experiments on Evaluating Hypotheses from User­ Generated Multimedia Data. 2016 (Simposio)
    • GONÇALVES, B. . Bsmooth: Learning from implicit user feedback to disambiguate query terms in interactive data retrieval. 2016 (Seminário)
    • GONÇALVES, B. ; CARVALHO, B. W. . Watson Q&A para Agricultura. 2016 (Conferência)
    • GONÇALVES, B. . On the semantic engineering of scientific hypotheses as linked data. 2012 (Congresso)
    • GONÇALVES, B. . Y-DB: Managing scientific hypotheses as uncertain data. 2014 (Congresso)
    • GONÇALVES, B. ; PORTO, F. . A Lattice-Theoretic Approach for Representing and Managing Hypothesis-driven Research. 2013 (Comunicacao)
    • GONÇALVES, B. ; PORTO, F. . Research lattices: towards a scientific hypothesis data model. 2013 (Comunicacao)
    • GONÇALVES, B. ; PORTO, F. ; MOURA, A. M. C. . Extending scientific workflows for managing hypotheses and models. 2012 (Comunicacao)
    • GONÇALVES, B. ; GUIZZARDI, G. ; PEREIRA FILHO, J. G. . An Electrocardiogram (ECG) Domain Ontology. 2007 (Comunicacao)
    • GONÇALVES, B. ; ZAMBORLINI, V. ; GUIZZARDI, G. ; PEREIRA FILHO, J. G. . Using a Lightweight Ontology of Heart Electrophysiology in an Interactive Web Application. 2008 (Simposio)
    • GONÇALVES, B. ; PEREIRA FILHO, J. G. ; ANDREAO, R. V. ; GUIZZARDI, G. . ECG Data Provisioning for Telehomecare Monitoring. 2008 (Simposio)
    • GONÇALVES, B. ; PEREIRA FILHO, J. G. ; GUIZZARDI, G. . A Service Architecture for Sensor Data Provisioning for Context-aware Mobile Applications. 2008 (Simposio)
    • GONÇALVES, B. ; COZMAN, F. ; WASSERMAN, R. . Inteligência artificial (Rádio Estadão / SP). 2018 Rádio Estadão e podcast O Estado da arte --- o cânone em pauta
    • BRAVO, P. ; GONÇALVES, B. . Turing, um filósofo (Podcast Lógica Viva / UFPE / Unicamp). 2023 Podcast Lógica Viva
    • NASCIMENTO, Y. ; GONÇALVES, B. . Filosofia, Alan Turing e Inteligência Artificial (UFRJ - Pós-Graduação em Lógica e Metafísica). 2023 Programa de Pós-Graduação em Lógica e Metafísica - Youtube
    • GONÇALVES, B. ; MARICONDA, P. R. . Aspectos filosóficos, históricos e sociais da Inteligência Artificial. 2018 (AFHIC (Associação de Filosofia e História da CIência do Cone Sul))
    • MARTINS-JR, D. C. ; SANTOS, C. S. ; GONÇALVES, B. . Workshop internacional de eScience (UFABC - https://poscomp.ufabc.edu.br/eventos/workshop-de-escience/). 2017 (UFABC)
    • Nome do projeto: Projeto Telecardio - Telecardiologia a Serviço do Paciente em Ambientes Hospitalares e Residenciais (2005 - 2006
      Natureza: Pesquisa
      Integrantes: GONÇALVES, B. , PEREIRA FILHO, J. G. , ANDREAO, R. V. .
      Descrição: Bolsista FAPES de iniciação científicaO projeto TeleCardio investiga a utilização da plataforma de middleware Infraware na concepção de um sistema de baixo custo e flexível para o telemonitoramento da atividade cardíaca de pacientes através doeletrocardiograma. Exemplos de facilidades oferecidas por este middleware incluem ummodelo de contexto, um mecanismo de interpretação e percepção de contexto, um gerente deserviços semânticos, uma camada para o controle de acesso e privacidade, uma interfaceuniforme para a aquisição dos dados dos sensores e um módulo gerente de subscrições. Foramapresentados os principais componentes do middleware, com destaque para o Interpretador deContexto, que desempenha um papel fundamental na arquitetura proposta.
    • Nome do projeto: Managing Scientific Hypotheses in Scientific Computing Applications (2011 - 2015
      Natureza: Pesquisa
      Integrantes: GONÇALVES, B. , PORTO, F. .
      Descrição: CNPq e FAPERJ - Bolsa de Doutorado
    • Nome do projeto: Projeto HOSCAR (High-Performance Computing and Scientific Data Management Driven by Highly Demanding Applications) (2012 - 2015
      Natureza: Pesquisa
      Integrantes: GONÇALVES, B. , Gomes, A. T. A. , PORTO, F. .
      Descrição: The general objective of the project is to setup a multidisciplinary Brazil-France collaborative effort for taking full benefits of future high-performance massively parallel architectures. The targets are the very large-scale datasets and numerical simulations relevant to a selected set of applications in natural sciences: (i) resource prospection, (ii) reservoir simulation, (iii) ecological modeling, (iv) astronomy data management, and (v) simulation data management. The project involves computer scientists and numerical mathematicians divided in 3 fundamental research groups: (i) numerical schemes for PDE models (Group 1), (ii) scientific data management (Group 2), and (iii) high-performance software systems (Group 3).
    • Nome do projeto: Artificial Intelligence advisor to speed-up appraisal of oil and gas prospects and discoveries (IBM Research - Galp Energia) (2015 - 2018
      Natureza: Desenvolvimento
      Integrantes: GONÇALVES, B. , PAULA, R. , MELLO, U. , CERQUEIRA, R. , ZADROZNY, B. .
      Descrição: IBM and Galp have developed an AI-based advisor to enhance seismic interpretation in the oil and gas exploration area. This cutting-edge tool speeds-up the creation of enhanced geological models and the risk assessment of new prospects, and the optimal placement of new oil wells.As global energy consumption increases and much of the globe still relies on fossil fuels to supply its energy needs, the oil and gas industry is looking to find resources in ever more challenging locations. Advanced analysis and computing are required to find and evaluate hidden sources of fuel. IBM and Galp are helping to solve that.Through their Brazilian units, Petrogal Brasil and IBM Research-Brazil, Galp and IBM undertook a three-year research project under which they developed a prototype that acts as an advisor to geoscientists in the identification and evaluation of exploration prospects and in the interpretation of seismic images.Press release: https://www.galp.com/corp/en/media/press-releases/press-release/id/834/galp-and-ibm-build-cutting-edge-artificial-intelligence-advisor-to-speed-up-appraisal-of-oil-and-gas-prospects-and-discoveries
    • Nome do projeto: Cognitive Geologist (IBM Research - GAZPROM Neft) (2018 - 2020
      Natureza: Desenvolvimento
      Integrantes: GONÇALVES, B. , PAULA, R. , MELLO, U. .
      Descrição: More than 30 Gazprom Neft research geologists and IBM Research Brazil machine-learning research scientists have come together for the first time to share their unique knowledge, experience and skills in a research project, Cognitive Geologist*. The cooperation agreement signed by both companies aims at the development of state-of-the-art broad AI technologies, such as, knowledge-enhanced machine learning which combines deep-neural networks as surrogate of existing geological models and advanced probabilistic reasoning techniques for modelling and supporting data-driven geological decision making. In so doing, they aim to optimize analytical processes and characterize the value of information related to the most relevant geological models to advance exploration workflows and automate the model creation for exploration. These technologies will help automate routine operations and significantly augment the geological and geophysical data analyses for use in oil exploration or production activities other than deepwater, Arctic offshore, or shale projects.The system aims at identifying, modelling, integrating, and predicting critical prospective geological object information in support of decision-making, using data from already discovered analogues and big data technologies for processing extensive data arrays. Thanks to this initiative, the typical geological exploration cycle could be significantly reduced, with processes previously taking up to half a year now completed within a month. In addition, forecasting quality would be further improved with each new project, through the use of cognitive technologies and continuous-learning models.Press release at: https://www.worldoil.com/news/2019/4/3/gazprom-neft-ibm-research-brazil-enhance-geological-processing-with-ai/
    • Nome do projeto: Probabilistic top-k ranking for disambiguation of natural language queries over relational databases (2015 - 2016
      Natureza: Pesquisa
      Integrantes: GONÇALVES, B. , JAGADISH, H. V. .
      Descrição: CNPq Pos Doutorado no Exterior - PDE.Usability has been increasingly recognized as a crucial feature of database systems. In particular, revived attention has been given to the problem of devising effective techniques for general, really usable query interfaces for relational databases. In its most challenging form, it targets at enabling users to issue general, arbitrarily complex natural language queries over a database they have partial or no knowledge about. In very recent work, the problem has been fruitfully addressed based on the idea of interactive query disambiguation: candidate query trees' are ranked by some notion of relevance and listed to the user properly for disambiguation. In this post-doctoral research project we target at a probabilistic notion of relevance for such ranking method. Inspired by some of the latest developments in Modern Information Retrieval, we shall explore probabilistic models for ranking the disambiguation options of natural language queries over relational databases. The ranking scores shall be conditioned on sources of evidence such as past queries, past feedback cycles and distinct query formulations.
    • Nome do projeto: O futuro da inteligência artificial: a estrutura lógica do argumento de Alan Turing (2020 Atual)
      Natureza: Pesquisa
      Integrantes: GONÇALVES, B. , COZMAN, F. G. .
      Descrição: FAPESP - Pós-Doutorado https://bv.fapesp.br/en/bolsas/191927/the-future-of-artificial-intelligence-the-logical-structure-of-alan-turings-argument/
    • Nome do projeto: Reconstruindo o argumento de Alan Turing sobre consciência de máquina (2023 Atual)
      Natureza: Pesquisa
      Integrantes: GONÇALVES, B. , COZMAN, F. G. , SHANAHAN, M. .
      Descrição: FAPESP - Pós Doutorado no Exterior BEPEhttps://bv.fapesp.br/pt/bolsas/207363/reconstruindo-o-argumento-de-alan-turing-sobre-consciencia-de-maquina/
    • Nome do projeto: COMPETE - Metodologia de Planejamento Estratégico Baseado em Competências para Pequenas e Médias Empresas (2009 - 2010
      Natureza: Desenvolvimento
      Integrantes: GONÇALVES, B. , Reggiani, M. .
      Descrição: Chamada CNPq RHAE "Pesquisador na Empresa". COMPETE - Sistema de informação web para apoio ao planejamento estratégico de pequenas e médias empresas.
    • Graduacao:
      • Curso: Ciência da Computação
        Nome da Instituição: Universidade Federal do Espírito Santo
        Ano de conclusão: 2006
    • Mestrado:
      • Curso: Informática
        Nome da Instituição: Universidade Federal do Espírito Santo
        Ano de conclusão: 2009
    • Doutorado:
      • Curso: Filosofia
        Nome da Instituição: Universidade de São Paulo
        Título: Machines will think: structure and interpretation of Alan Turing's imitation game / As máquinas vão pensar: estrutura e interpretação do jogo da imitação de Alan Turing
        Ano de conclusão: 2021
      • Curso: Modelagem Computacional
        Nome da Instituição: Laboratório Nacional de Computação Científica
        Título: Managing large-scale scientific hypotheses as uncertain and probabilistic data
        Ano de conclusão: 2015
    • Pos-doutorado:
      • Nome da Instituição: University of Michigan
        Ano de conclusão: 2016
      • Nome da Instituição: Escola Politécnica - USP
        Ano de conclusão: Atual
        Status do curso: Em_andamento
      • Nome da Instituição: University of Cambridge
        Ano de conclusão: Atual
        Status do curso: Em_andamento
    • Universidade Federal do Espírito Santo:
      • Tipo de vínculo: Livre ( - ).
      • Tipo de vínculo: Livre ( - ).
    • Laboratório Nacional de Computação Científica:
      • Tipo de vínculo: Livre ( - ).
      • Tipo de vínculo: Livre ( - ).
      • Tipo de vínculo: Livre ( - ).
    • IBM Research Brazil:
      • Tipo de vínculo: Celetista (2016 - 2020 ).
        Outras informações: Pesq. cientista pleno
    • University of Michigan:
      • Tipo de vínculo: Livre (2015 - 2016 ).
        Outras informações: bolsista CNPq Pós-Doutorado
    • Fundação de Amparo à Pesquisa do Estado de São Paulo:
      • Tipo de vínculo: Livre ( - ).
      • Tipo de vínculo: Livre ( - ).
      • Tipo de vínculo: Livre ( - ).
      • Tipo de vínculo: Livre ( - ).
      • Tipo de vínculo: Livre ( - ).
      • Tipo de vínculo: Livre ( - ).
      • Tipo de vínculo: Livre ( - ).
      • Tipo de vínculo: Livre ( - ).
      • Tipo de vínculo: Livre ( - ).
      • Tipo de vínculo: Livre ( - ).
      • Tipo de vínculo: Livre ( - ).
      • Tipo de vínculo: Livre ( - ).
      • Tipo de vínculo: Livre ( - ).
    • AI & Society:
      • Tipo de vínculo: Livre (2023 - 2023 ).
    • Fundação de Amparo à Pesquisa e Inovação do Estado de Santa Catarina:
      • Tipo de vínculo: Livre (2022 - 2022 ).
        Outras informações: Avaliador na Fase 1 - Projetos de Fomento do Programa Centelha 2 Santa Catarina.
    • Artificial Intelligence Review:
      • Tipo de vínculo: Livre (2023 - 2023 ).
    • AI and Ethics (Springer):
      • Tipo de vínculo: Livre (2024 - 2024 ).
    • IEEE Annals of the History of Computing:
      • Tipo de vínculo: Livre (2023 - 2023 ).
    • Principia (UFSC):
      • Tipo de vínculo: Livre (2022 - 2022 ).
    • Studies in History and Philosophy of Science:
      • Tipo de vínculo: Livre (2023 - 2023 ).
    • Escola Politécnica - USP:
      • Tipo de vínculo: Livre (2020 - Atual ).
        Outras informações: Bolsista de pós-doutorado
    • Faculdade de Filosofia, Letras e Ciências Humanas - USP:
      • Tipo de vínculo: Livre (2018 - 2021 ).
        Outras informações: Aluno de Doutorado
    • University of Cambridge:
      • Tipo de vínculo: Livre (2023 - Atual ).
        Outras informações: Visiting Fellow e Member of High Table
    • Axiomathes / Global Philosophy (Springer):
      • Tipo de vínculo: Livre (2023 - 2024 ).
    • Philosophy & Technology (Springer):
      • Tipo de vínculo: Livre (2023 - 2024 ).
    • Integro Consultores Associados:
      • Tipo de vínculo: Livre (2009 - 2010 ).
        Outras informações: bolsista CNPq 'Pesquisador na Empresa' SET-6A
    • Galp Energia:
      • Tipo de vínculo: Livre (2015 - 2018 ).