Registered user since Wed 2 Nov 2016

Name: Joseph Harrison

Bio: PhD Candidate in the School of Computing.

Country: United Kingdom

Affiliation: University of Kent

Personal website: https://cs.kent.ac.uk/~jrh53

Research interests: Erlang

All Activities

• Author of Towards an Isabelle/HOL Formalisation of Core Erlang within the Erlang 2017-track in Erlang 2017