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 ushers in a new era in human-computer interaction |
| Articles published in Pesquisa para Inovação FAPESP about the researcher: |
| Academia and private enterprise join forces to foster research in artificial intelligence |
| News published in Agência FAPESP Newsletter about the researcher |
| TITULO |
| Articles published in other media outlets (0 total): |
| More itemsLess items |
| VEICULO: TITULO (DATA) |
| VEICULO: TITULO (DATA) |
This proposal describes an Engineering Research Center for Artificial Intelligence (AI) committed to conduct research in basic AI topics and to apply AI techniques to selected application areas --- namely, oil and gas industry, agribusiness, and health. The Center will also fund studies on the social and economic impact of AI, and will carry activities aimed at technology transfer and kno…
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…
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.…
Solving computational problems on real world objects means to bring together strict models of the universe of discourse, with less than perfect and flexible information one may gather about the world. This means that the solution method must be able to cope both with hard and well-defined statements on the world with other information whose nature is soft. The capability to deal…
(Only some records are available in English at this moment)
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…
Natural Language Processing techniques can be applied to text in general, not only to human language but also for 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 intend to propose a novel code refactorin…
This project was conceived in the context of the construction of a system for the automated learning of the detection of respiratory insufficiency through the analysis of audio signal from the patients. This proposal aims to build pre-trained models and process audio processing in Portuguese, which will later be used for specific training, such as classes specification of the audio being …
(Only some records are available in English at this moment)
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…
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…
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…
| 1 / 1 | Ongoing research grants |
| 14 / 11 | Completed research grants |
| 1 / 1 | Ongoing scholarships in Brazil |
| 10 / 5 | Completed scholarships in Brazil |
| 3 / 3 | Completed scholarships abroad |
| 30 / 22 | All research grants and scholarships |
| Associated processes | |
CV Lattes
ORCID