Leon J. Osterweil
E419384
Leon J. Osterweil is a prominent computer scientist known for his influential contributions to software engineering, particularly in software process modeling and analysis.
All labels observed (1)
| Label | Occurrences |
|---|---|
| Leon J. Osterweil canonical | 1 |
How this entity was disambiguated
This entity first appeared as the object of triple T4177259 — 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.
Target entity: Leon J. Osterweil Context triple: [ACM SIGSOFT Outstanding Research Award, hasRecipient, Leon J. Osterweil]
-
A.
Larry L. Peterson
Larry L. Peterson is a prominent computer scientist known for his influential research and leadership in computer networking and distributed systems.
-
B.
Peter J. Denning
Peter J. Denning is an American computer scientist renowned for his foundational work in operating systems, particularly virtual memory, and for his leadership in advancing the science and practice of computing.
-
C.
Edward D. Lazowska
Edward D. Lazowska is an American computer scientist known for his influential work in computer systems and performance evaluation, as well as his leadership in computing research and education policy.
-
D.
Jeffrey P. Buzen
Jeffrey P. Buzen is a computer scientist known for his foundational contributions to performance evaluation and queueing theory in computer systems.
-
E.
Gerard J. Holzmann
Gerard J. Holzmann is a computer scientist best known for creating the SPIN model checker and for his influential work in formal verification and software reliability.
- F. None of above. chosen
- G. Unsure - the case is ambiguous/there is not enough information to decide.
Target entity: Leon J. Osterweil Target entity description: Leon J. Osterweil is a prominent computer scientist known for his influential contributions to software engineering, particularly in software process modeling and analysis.
-
A.
Larry L. Peterson
Larry L. Peterson is a prominent computer scientist known for his influential research and leadership in computer networking and distributed systems.
-
B.
Peter J. Denning
Peter J. Denning is an American computer scientist renowned for his foundational work in operating systems, particularly virtual memory, and for his leadership in advancing the science and practice of computing.
-
C.
Edward D. Lazowska
Edward D. Lazowska is an American computer scientist known for his influential work in computer systems and performance evaluation, as well as his leadership in computing research and education policy.
-
D.
Jeffrey P. Buzen
Jeffrey P. Buzen is a computer scientist known for his foundational contributions to performance evaluation and queueing theory in computer systems.
-
E.
Gerard J. Holzmann
Gerard J. Holzmann is a computer scientist best known for creating the SPIN model checker and for his influential work in formal verification and software reliability.
- F. None of above. chosen
Statements (38)
| Predicate | Object |
|---|---|
| instanceOf |
academic
ⓘ
computer scientist ⓘ |
| academicDegree | PhD in Computer Science ⓘ |
| affiliation |
College of Information and Computer Sciences
ⓘ
surface form:
College of Information and Computer Sciences, University of Massachusetts Amherst
|
| awardReceived |
Fellow of the Association for Computing Machinery
ⓘ
surface form:
ACM Fellow
|
| citizenship |
United States of America
ⓘ
surface form:
United States
|
| contributedTo |
advancement of formal approaches to software processes
ⓘ
establishing software process modeling as a key area in software engineering ⓘ |
| educatedAt |
Princeton University
ⓘ
University of Maryland ⓘ |
| employer |
University of California, Irvine
ⓘ
University of Colorado Boulder ⓘ University of Massachusetts Amherst ⓘ |
| fieldOfWork |
software engineering
ⓘ
software process analysis ⓘ software process modeling ⓘ |
| genre | scientific research papers ⓘ |
| hasResearchInterest |
process-centered software engineering environments
ⓘ
software process verification ⓘ software quality ⓘ workflow and process languages ⓘ |
| hasRole | editor and program committee member for software engineering conferences ⓘ |
| influenced | software process research community ⓘ |
| knownFor |
software process analysis
ⓘ
software process modeling ⓘ the idea that software processes can be precisely specified and analyzed like software ⓘ |
| languageOfWorkOrName | English ⓘ |
| memberOf |
Association for Computing Machinery
ⓘ
IEEE Computer Society ⓘ |
| notableConcept | software processes as software ⓘ |
| notableStudent | students who became researchers in software engineering ⓘ |
| notableWork |
papers on software process modeling and analysis
ⓘ
research on software process programming ⓘ |
| occupation |
researcher
ⓘ
university professor ⓘ |
| positionHeld |
Chair of the Computer Science Department at University of California, Irvine
ⓘ
Chair of the Computer Science Department at University of Colorado Boulder ⓘ Professor of Computer Science at University of Massachusetts Amherst ⓘ |
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.
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.
Subject: Leon J. Osterweil Description of subject: Leon J. Osterweil is a prominent computer scientist known for his influential contributions to software engineering, particularly in software process modeling and analysis.
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.