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 ⓘ
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 ⓘ