Some unsolved problems in Number Theory are surprisingly not so hard to understand, even for a non-mathematician like myself. The Collatz conjecture is a famous example but there are others: If these conjectures turn out to be false, computational methods may be able to find counterexamples. In the case of the Beal conjecture, assuming thatContinue reading “Trying out LLMs to disprove mathematical conjectures with luck”
Category Archives: research
Tips for Researchers
As I drastically shifted from doing law in Brazil to a research career in computer science in Europe, I have tried to understand what works and what does not work to develop my research career and work. I have collected several tips that I want to share here. Of course, you may disagree with themContinue reading “Tips for Researchers”
Basic Personal Cybersecurity Measures
My Ph.D. research concerns security modeling and analysis through an ontological approach. Because of that, I have been studying risk management in general and cybersecurity in particular. So I realized how vulnerable I was since I was not applying basic security mechanisms to protect my accounts and devices. Here are some practical recommendations for anyone.Continue reading “Basic Personal Cybersecurity Measures”
The Distinction Between Representation and Reasoning
Knowledge representation and reasoning is the field of artificial intelligence dedicated to representing information about the world in a form that a computer system can use to solve complex tasks such as diagnosing a medical condition, having a dialog in a natural language, or scheduling. Here I want to highlight the distinction between the taskContinue reading “The Distinction Between Representation and Reasoning”
Research Career and Love
It is well known that the research career has several challenges due to its instability: (a) salaries are in general smaller than the ones in industry; (b) most contracts are temporary (one, two or three years, though renewable); (c) in any case, to advance his or her career, the researcher is expected to work inContinue reading “Research Career and Love”
My 4 Guesses About Our Future
Let me give you four of my guesses about the future of our knowledge and society. How far in the future? Let’s keep it open, but let’s consider at least 20 years ahead. To make it more interesting I am going to write my level of confidence for each of my predictions. 1. An EvenContinue reading “My 4 Guesses About Our Future”
Mapping study of the literature: useful boring work
When I started my PhD in CS at Unibz I did not have a defined research project. Only a couple of interests. Indeed, only after some time of studying and talking with other researchers in my group I could figure out what they really do. They use formal ontology to leverage the theory and practiceContinue reading “Mapping study of the literature: useful boring work”
Computer Science as Math, Science and Engineering
When I was in Law School, there was always a discussion about the scientific status of Law as a discipline: How is Law different from social sciences? What are the objects of study of Law? What are the specific methods of Law? What is Law as an autonomous field of research? Legal scholars are tooContinue reading “Computer Science as Math, Science and Engineering”
Not So Short Notes 