conf.researchr.org / Jost Berthold
Registered user since Sat 2 Apr 2016
Name:Jost Berthold
Country:Australia
Affiliation:Runtime Verification Inc.
Personal website: http://jberthold.github.io/
GitHub: https://github.com/jberthold
Research interests:Parallel functional programming, domain specific languages, functional programming, formal verification
Contributions