David Walker

E807607

David Walker is a computer scientist known for his contributions to programming languages and formal methods, including work related to the π-calculus.

All labels observed (1)

Label Occurrences
David Walker canonical 2

How this entity was disambiguated

Statements (27)

Predicate Object
instanceOf computer scientist
associatedConcept formal verification
program semantics
π-calculus NERFINISHED
contributedTo formal reasoning about programs
verification techniques for programs
π-calculus theory
field computer science
formal methods
programming languages
knownFor research on formal methods
research on programming languages
work related to the π-calculus
notableFor applications of formal methods to programming
contributions to the theory of programming languages
occupation academic researcher
computer science professor
researchArea concurrent computation
process calculi
semantics of programming languages
type systems
studies theoretical foundations of programming
usesTool formal logic
process algebra
type theory
worksOn formal specification of program behavior
mathematical models of computation

How these facts were elicited

Referenced by (2)

Full triples — surface form annotated when it differs from this entity's canonical label.

π-calculus coCreator David Walker
Greg Morrisett notableStudent David Walker