David Rosenblum
E424289
David Rosenblum is a prominent computer scientist known for his influential research in software engineering and formal methods.
All labels observed (1)
| Label | Occurrences |
|---|---|
| David Rosenblum canonical | 1 |
How this entity was disambiguated
This entity first appeared as the object of triple T4177261 — 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: David Rosenblum Context triple: [ACM SIGSOFT Outstanding Research Award, hasRecipient, David Rosenblum]
-
A.
Russell Gewirtz
Russell Gewirtz is an American screenwriter best known for writing the crime thriller film "Inside Man."
-
B.
Andrew A. Kosove
Andrew A. Kosove is an American film producer and co-founder of Alcon Entertainment, known for backing major Hollywood features across genres.
-
C.
Ronald M. Cohen
Ronald M. Cohen was an American screenwriter known for his work on politically charged and socially conscious films and television projects.
-
D.
Stephen E. Rivkin
Stephen E. Rivkin is an American film editor best known for his work on major feature films including the "Avatar" series.
-
E.
Lawrence Weingarten
Lawrence Weingarten was an American film producer best known for his work at MGM during Hollywood’s classic studio era, overseeing numerous popular comedies and dramas.
- 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: David Rosenblum Target entity description: David Rosenblum is a prominent computer scientist known for his influential research in software engineering and formal methods.
-
A.
Russell Gewirtz
Russell Gewirtz is an American screenwriter best known for writing the crime thriller film "Inside Man."
-
B.
Andrew A. Kosove
Andrew A. Kosove is an American film producer and co-founder of Alcon Entertainment, known for backing major Hollywood features across genres.
-
C.
Ronald M. Cohen
Ronald M. Cohen was an American screenwriter known for his work on politically charged and socially conscious films and television projects.
-
D.
Stephen E. Rivkin
Stephen E. Rivkin is an American film editor best known for his work on major feature films including the "Avatar" series.
-
E.
Lawrence Weingarten
Lawrence Weingarten was an American film producer best known for his work at MGM during Hollywood’s classic studio era, overseeing numerous popular comedies and dramas.
- F. None of above. chosen
Statements (48)
| Predicate | Object |
|---|---|
| instanceOf |
academic
ⓘ
computer scientist ⓘ |
| academicTitle | professor ⓘ |
| awardReceived |
Fellow of the Association for Computing Machinery
ⓘ
surface form:
ACM Fellow
IEEE Fellow ⓘ |
| citizenship | United States of America ⓘ |
| degree | PhD in Computer Science ⓘ |
| educatedAt | Stanford University ⓘ |
| fieldOfWork |
context-aware systems
ⓘ
distributed systems ⓘ formal methods ⓘ requirements engineering ⓘ software architecture ⓘ software engineering ⓘ software reliability ⓘ ubiquitous computing ⓘ |
| hasAffiliation |
Bell Telephone Laboratories
ⓘ
surface form:
AT&T Bell Laboratories
National University of Singapore ⓘ Sun Microsystems ⓘ
surface form:
Sun Microsystems Laboratories
University College London ⓘ University of California, Irvine ⓘ |
| hasRole |
educator
ⓘ
researcher ⓘ scientific leader ⓘ software engineer ⓘ |
| knownFor |
formal specification of software behavior
ⓘ
probabilistic models for software reliability ⓘ work on pervasive and context-aware computing ⓘ work on software component-based systems ⓘ |
| languageSpoken | English ⓘ |
| memberOf |
Association for Computing Machinery
ⓘ
IEEE Computer Society ⓘ |
| notableFor |
research in formal methods
ⓘ
research in software engineering ⓘ research on distributed systems ⓘ research on software architecture ⓘ research on software reliability ⓘ |
| occupation |
research scientist
ⓘ
university professor ⓘ |
| positionHeld |
Professor of Computer Science at National University of Singapore
ⓘ
Professor of Software Systems at University College London ⓘ faculty member at University of California, Irvine ⓘ researcher at AT&T Bell Laboratories ⓘ researcher at Sun Microsystems Laboratories ⓘ |
| researchInterest |
runtime verification
ⓘ
service-oriented computing ⓘ software quality ⓘ software testing ⓘ |
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: David Rosenblum Description of subject: David Rosenblum is a prominent computer scientist known for his influential research in software engineering and formal methods.
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.