Christopher Esterhuyse

Registered user since Sat 17 Jun 2023

Name:Christopher Esterhuyse
Bio:

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.

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

Contributions