Andre Scedrov
E621116
Andre Scedrov is a mathematician known for his work in category theory, logic, and theoretical computer science.
All labels observed (1)
| Label | Occurrences |
|---|---|
| Andre Scedrov canonical | 2 |
How this entity was disambiguated
This entity first appeared as the object of triple T6834103 — 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: Andre Scedrov Context triple: [Peter Freyd, notableStudent, Andre Scedrov]
-
A.
Luca Cardelli
Luca Cardelli is an Italian computer scientist known for his influential work in type theory, programming language design, and the development of the Modula-3 and Polyphonic C# languages.
-
B.
Jay Gruska
Jay Gruska is an American composer and songwriter best known for his extensive television scoring work, including co-composing the music for the series "Supernatural."
-
C.
Juris Hartmanis
Juris Hartmanis was a pioneering computer scientist best known for co-founding the field of computational complexity theory and sharing the 1993 Turing Award for his fundamental contributions.
-
D.
Manuel Blum
Manuel Blum is a Venezuelan-American computer scientist and Turing Award laureate renowned for his foundational contributions to computational complexity theory and cryptography.
-
E.
Gordon Plotkin
Gordon Plotkin is a British computer scientist renowned for his foundational contributions to programming language semantics and domain theory.
- 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: Andre Scedrov Target entity description: Andre Scedrov is a mathematician known for his work in category theory, logic, and theoretical computer science.
-
A.
Luca Cardelli
Luca Cardelli is an Italian computer scientist known for his influential work in type theory, programming language design, and the development of the Modula-3 and Polyphonic C# languages.
-
B.
Jay Gruska
Jay Gruska is an American composer and songwriter best known for his extensive television scoring work, including co-composing the music for the series "Supernatural."
-
C.
Juris Hartmanis
Juris Hartmanis was a pioneering computer scientist best known for co-founding the field of computational complexity theory and sharing the 1993 Turing Award for his fundamental contributions.
-
D.
Manuel Blum
Manuel Blum is a Venezuelan-American computer scientist and Turing Award laureate renowned for his foundational contributions to computational complexity theory and cryptography.
-
E.
Gordon Plotkin
Gordon Plotkin is a British computer scientist renowned for his foundational contributions to programming language semantics and domain theory.
- F. None of above. chosen
Statements (31)
| Predicate | Object |
|---|---|
| instanceOf |
mathematician
ⓘ
person ⓘ |
| countryOfCitizenship | United States of America ⓘ |
| educatedAt |
Charles University
NERFINISHED
ⓘ
Stanford University ⓘ |
| employer | University of Pennsylvania ⓘ |
| fieldOfWork |
category theory
ⓘ
homotopy type theory ⓘ linear logic ⓘ mathematical logic ⓘ modal logic ⓘ process calculi ⓘ programming language semantics ⓘ proof theory ⓘ security protocols ⓘ theoretical computer science ⓘ |
| hasAcademicAdvisor | Petr Hájek NERFINISHED ⓘ |
| knownFor |
applications of logic to computer security
ⓘ
contributions to categorical logic ⓘ work at the interface of logic and computer science ⓘ |
| languageSpoken |
Czech
ⓘ
English ⓘ |
| memberOf |
American Mathematical Society
NERFINISHED
ⓘ
Association for Computing Machinery NERFINISHED ⓘ Association for Symbolic Logic NERFINISHED ⓘ |
| notableWork |
research on categorical proof theory
ⓘ
research on categorical semantics of programming languages ⓘ research on formal methods for security protocols ⓘ research on linear logic and its applications ⓘ |
| occupation | university professor ⓘ |
| positionHeld | chair of the Department of Mathematics at the University of Pennsylvania ⓘ |
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: Andre Scedrov Description of subject: Andre Scedrov is a mathematician known for his work in category theory, logic, and theoretical computer science.
Referenced by (2)
Full triples — surface form annotated when it differs from this entity's canonical label.