User:Eschneider

My main interest is formal specification and verification of distributed systems. One such property is the noninterference formulation of confidentiality, which has lead me to network security. My work in formal methods has included a semantics for a functional programming language, participation in a Z specification of an operating system kernel, and noninterference proofs using several verifiers, including PVS.