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

Christopher Esterhuyse

PhD Candidate

Christopher is a PhD student working on the formal modelling of distributed systems, and leveraging them for various benefits. For example, (1) writing models helps us concretize our thoughts, (2) communicating models affords unambiguous communication of requirements, expectations, and so on, and (3) having a model affords automated checking of system properties. Work revolves around the application domain, e.g., asking “what concepts are worth formalizing?” Work also revolves around the languages themselves, e.g., asking “what makes a language practical?”

Tim Müller

Scientific Programmer

L. Thomas van Binsbergen

Assistant Professor