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

Publication
2022 IEEE 18th International Conference on e-Science (e-Science)
Christopher Esterhuyse
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
Tim Müller
Scientific Programmer
L. Thomas van Binsbergen
L. Thomas van Binsbergen
Assistant Professor

Related