Programmeertalen

L. Thomas van Binsbergen

Assistant Professor

Christopher Esterhuyse

Postdoc

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