Jost Berthold

Registered user since Sat 2 Apr 2016

Name:Jost Berthold
Country:Australia
Affiliation:Runtime Verification Inc.
Research interests:Parallel functional programming, domain specific languages, functional programming, formal verification

Contributions