Type
Publication
Formal Techniques for Distributed Objects, Components, and Systems (FORTE 2024)
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
