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 |
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 ⓘ |
Referenced by (2)
Full triples — surface form annotated when it differs from this entity's canonical label.