A Stable Model Semantics for eFLINT Norm Specifications and Model Checking Scenarios.

Christopher Esterhuyse

Postdoc

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

L. Thomas van Binsbergen

Assistant Professor

Tim Müller

Scientific Programmer