Marcelo Finger has a BSc in Electronic Engineering from Universidade de São Paulo (EP-USP 1988), MSc in Foundations of Advanced Information Technology from the Imperial College of Science, Technology and Medicine (1990) and PhD in Computing from Imperial College of Science and Technology, University of London (1994). He ha held visiting positions in departments of Computer Science at Universitée Paul Sabatier - Toulouse (2011) and Cornell University (2012-2013). He is currentely Professor of Computer Sciece at the Department of Computer Science, Institute of Mathematics and Statistics at the University of São Paulo, Principal Investigator at the USP-Fapesp-IBM Center for Artificial Intelligence (C4AI), where he coordinates the NLP2 group on natural language processing in Portuguese. He is part of the editorial board of the following journals: South American Journal of Logic, São Paulo Journal of Mathematical Sciences and has been a guest editor at Theoretical Computer Science and Anals of Mathematics in Artificial Intelligence. He as been acting as an expert in the Computer Sciece, focusing on Logics and Dedecutive-Probabilistic Reasoning, acting as a researcher in the following subjects: logic, artificial intelligence, Digital Humanities and computational linguistics. (Source: Lattes Curriculum)
| Articles published in Pesquisa FAPESP Magazine about the researcher: |
| ChatGPT inaugura una nueva era en la interacción entre seres humanos y computadoras |
| ChatGPT ushers in a new era in human-computer interaction |
| More itemsLess items |
| Academia and private enterprise join forces to foster research in artificial intelligence |
| More itemsLess items |
| News published in Agência FAPESP Newsletter about the researcher |
| More itemsLess items |
| TITULO |
| Articles published in other media outlets ( ): |
| More itemsLess items |
| VEICULO: TITULO (DATA) |
| VEICULO: TITULO (DATA) |
Neural networks are behind many of the most advanced intelligent systems, yet theirlack of interpretability and explainability remains a significant challenge. In a neurosymbolic approach, the infinite-valued Lukasiewicz logic ( L) may be used to representneural networks in a formal language, enabling formal verification of their propertiesthrough logical formula evaluation. While previou…
The general objective of this Thematic Project is the development of theoretical, technical and technological knowledge about biomarkers of respiratory conditions, whose application is practical, cheap and viable for the Brazilian population. Using machine learning techniques, artificial intelligence and audio analysis, we will investigate audio biomarkers for respiratory conditions such …
(Only some records are available in English at this moment)
The aim of this study is to develop a tool that can provide an early detection for people with respiratory insufficiency due to COVID-19, using speech data. To this end, we will collect audio records from infected people as well as normal people, in order to explore differences associated with O2-saturation and respiratory rate that allow the two groups to be distinguished.The proposed a…
During the last decade, the Internet made radical transformations in the ways humans communicate possible. At the beginning of me 21st Century, the internet has been both refined and expanded, thereby impacting the lives of a large part of the world population. Recently, with the popularization of the cloud computing and mobile computing technologies and the increasing use of sensor netwo…
In many areas of the Sciences and Engineering, images provide important information about real problems and the assignment by a machine of one or multiple labels per image (annotation) leads to a decision about the problem. However, the machine learning process requires the manual isolation and identification (label assignment) of the content of interest, named sample, in training images.…
(Only some records are available in English at this moment)
This project is a continuation of a study (called SPIRA, FAPESP project 2020/06443-5) which aim to create an automated system capable of early detection of respiratory insufficiency through speech analysis.This proposal has as its central objective the development of pretrained neural network models for speech processing of Brazilian Portuguese Speech. These models will be refined on resp…
A way to circumvent the black box method problem suffered by neural networks and allow its application in critical situations is by making the formal verification of desirable properties in these networks. The area of formal verification of neural networks is recent and there are challenges to be tackled; for that, the community proposed benchmarks and competitions for comparing the effic…
(Only some records are available in English at this moment)
Although there are many literature and already implemented routines for treating the problems of satisfiability and validity of formulas in the Lukasiewicz Infinitely-valued Logic, we are unaware of works dealing with the problem of deciding the validity of a logical consequence in such logical system. This research project aims first to establish and implement algorithms for this problem…
Natural Language Processing techniques can be applied to text in general, not only to human language but also to artificial languages such as software code. Code refactoring is a fundamental software engineering technique used both as a quality assurance tool and an important step in code correction and functionality enhancement. In this work, we propose a novel automated code refactorin…
Deductive reasoning and probabilistic reasoning have experienced an enormous development within the Artificial Intelligence community in the past decades. While deductive reasoning has been part of AI since its birth, the computational complexity of its problems ranges between the intractable and the undecidable. The realization that not all instances of intractable problems are hard prom…
| 5 / 5 | Ongoing grants |
| 15 / 12 | Completed research grants |
| 1 / 1 | Ongoing scholarships in Brazil |
| 13 / 8 | Completed scholarships in Brazil |
| 3 / 3 | Completed scholarships abroad |
| 37 / 29 | All research grants and scholarships |
| Associated processes | |
CV Lattes
ORCID