Exploring the Enforcement of Private, Dynamic Policies on Medical Workflow Execution

Christopher Esterhuyse

Postdoc

Christopher is a post-doc researcher working on (languages for) specifying distributed systems, for eliciting, negotiating, testing, and verifying system properties.

Tim Müller

Scientific Programmer

L. Thomas van Binsbergen

Assistant Professor