Christopher Esterhuyse

Registered user since Sat 17 Jun 2023

Name:Christopher Esterhuyse

Christopher investigates the application of various formal methods to the reasoning about complex distributed systems, usually to make them easier to develop and check for properties. This often includes developing domain-specific languages and their tooling. So far, this has included investigations into languages for parallel programming, exogenous coordination, normative specification, and logic programming.

Affiliation:University of Amsterdam
Research interests:Programming languages, formal specification and verification, and distributed systems


Show activities from other conferences

PLNL 2024-profile
View general profile