Carlo Ghezzi
E552421
Carlo Ghezzi is an Italian computer scientist renowned for his pioneering contributions to software engineering, particularly in formal methods and software evolution.
All labels observed (1)
| Label | Occurrences |
|---|---|
| Carlo Ghezzi canonical | 1 |
How this entity was disambiguated
This entity first appeared as the object of triple T4177253 — resolving that mention is where its identity was fixed. The disambiguator weighed these candidate entities and picked the highlighted one (or “None”, minting a new entity). This is how homonymy is resolved: the same surface form can point to different entities.
NED1
Entity disambiguation (via context triple)
gpt-5-mini-2025-08-07
Target entity: Carlo Ghezzi Context triple: [ACM SIGSOFT Outstanding Research Award, hasRecipient, Carlo Ghezzi]
-
A.
Ferdinando Casardi
Ferdinando Casardi was an Italian naval officer who commanded Italian forces during World War II, notably in the Battle of Cape Spada.
-
B.
Guido Carlesi
Guido Carlesi is an Italian former professional road cyclist known for his strong stage race performances in the early 1960s.
-
C.
Francesco Gonella
Francesco Gonella was an Italian mountaineer after whom the high-altitude Rifugio Francesco Gonella in the Mont Blanc massif is named.
-
D.
Francesco Giorgi
Francesco Giorgi was a 16th-century Venetian Franciscan friar, philosopher, and mystic known for integrating Christian theology with Kabbalistic and Neoplatonic thought in his influential work "De harmonia mundi."
-
E.
Guido Monzino
Guido Monzino was an Italian entrepreneur, politician, and mountaineer best known for leading the first Italian expedition to climb Mount Everest and for his extensive collections and explorations.
- F. None of above. chosen
- G. Unsure - the case is ambiguous/there is not enough information to decide.
NED2
Entity disambiguation (via description)
gpt-5-mini-2025-08-07
Target entity: Carlo Ghezzi Target entity description: Carlo Ghezzi is an Italian computer scientist renowned for his pioneering contributions to software engineering, particularly in formal methods and software evolution.
-
A.
Ferdinando Casardi
Ferdinando Casardi was an Italian naval officer who commanded Italian forces during World War II, notably in the Battle of Cape Spada.
-
B.
Guido Carlesi
Guido Carlesi is an Italian former professional road cyclist known for his strong stage race performances in the early 1960s.
-
C.
Francesco Gonella
Francesco Gonella was an Italian mountaineer after whom the high-altitude Rifugio Francesco Gonella in the Mont Blanc massif is named.
-
D.
Francesco Giorgi
Francesco Giorgi was a 16th-century Venetian Franciscan friar, philosopher, and mystic known for integrating Christian theology with Kabbalistic and Neoplatonic thought in his influential work "De harmonia mundi."
-
E.
Guido Monzino
Guido Monzino was an Italian entrepreneur, politician, and mountaineer best known for leading the first Italian expedition to climb Mount Everest and for his extensive collections and explorations.
- F. None of above. chosen
Statements (40)
| Predicate | Object |
|---|---|
| instanceOf |
Italian person
ⓘ
person ⓘ software engineer ⓘ |
| almaMater | Politecnico di Milano NERFINISHED ⓘ |
| areaOfInfluence | international software engineering community ⓘ |
| continentOfCitizenship | Europe ⓘ |
| countryOfEmployment | Italy NERFINISHED ⓘ |
| employer | Politecnico di Milano NERFINISHED ⓘ |
| field |
computer science
ⓘ
formal methods ⓘ software engineering ⓘ software evolution ⓘ |
| gender | male ⓘ |
| hasResearchInterest |
adaptive software systems
ⓘ
dependable systems ⓘ formal specification of software ⓘ programming languages ⓘ requirements engineering ⓘ software architectures ⓘ software evolution and maintenance ⓘ |
| hasRole |
author
ⓘ
conference chair ⓘ editor ⓘ educator ⓘ journal editorial board member ⓘ researcher ⓘ |
| knownFor |
pioneering contributions to software engineering
ⓘ
research on software evolution ⓘ work on formal methods in software engineering ⓘ |
| languageSpoken |
English
ⓘ
Italian ⓘ |
| name | Carlo Ghezzi NERFINISHED ⓘ |
| nationality | Italy NERFINISHED ⓘ |
| notability | renowned figure in software engineering ⓘ |
| notableWork |
research papers on formal methods
ⓘ
textbooks on software engineering ⓘ |
| occupation |
computer scientist
ⓘ
university professor ⓘ |
| positionHeld | professor at Politecnico di Milano ⓘ |
| workInstitution | Politecnico di Milano NERFINISHED ⓘ |
How these facts were elicited
The pipeline generated the facts above by prompting gpt-5.1 with this entity's name + description and the instruction below.
Instruction
You are a knowledge base construction expert. Given a subject entity and a description of it, return factual statements that you know for the subject as a JSON list of dictionaries(triples), where keys must be "subject", "predicate" and "object". The number of facts may be very high, between 25 to 50 or more, for very popular subjects. For less popular subjects, the number of facts can be very low, like 5 or 10. # Requirements - If you don't know the subject at all, return an empty list. - If the subject is not a named entity, return an empty list. - Include at least one triple where predicate is "instanceOf". - Do not get too wordy. - Separate several objects into multiple triples with one object.
Input
Subject: Carlo Ghezzi Description of subject: Carlo Ghezzi is an Italian computer scientist renowned for his pioneering contributions to software engineering, particularly in formal methods and software evolution.
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.