Statements (30)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:person
|
| gptkbp:almaMater |
gptkb:Princeton_University
|
| gptkbp:awardReceived |
gptkb:ACM_Fellow
|
| gptkbp:birthYear |
1960
|
| gptkbp:doctoralAdvisor |
gptkb:John_Hopcroft
|
| gptkbp:employer |
gptkb:Princeton_University
|
| gptkbp:field |
gptkb:programming_language
computer science formal methods compilers |
| https://www.w3.org/2000/01/rdf-schema#label |
Andrew Appel
|
| gptkbp:memberOf |
gptkb:American_Academy_of_Arts_and_Sciences
gptkb:Association_for_Computing_Machinery |
| gptkbp:nationality |
gptkb:American
|
| gptkbp:notableWork |
Modern Compiler Implementation in C
Modern Compiler Implementation in Java Modern Compiler Implementation in ML Compiling with Continuations |
| gptkbp:occupation |
gptkb:computer_scientist
gptkb:professor |
| gptkbp:researchInterest |
gptkb:lambda_calculus
gptkb:security garbage collection proof assistants voting systems software verification |
| gptkbp:website |
https://www.cs.princeton.edu/~appel/
|
| gptkbp:bfsParent |
gptkb:Sam_Tobin-Hochstadt
gptkb:Kenneth_Appel |
| gptkbp:bfsLayer |
7
|