Joseph Harrison

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: type systems, concurrency, erlang, compilers

Contributions

Erlang 2018Author of Automatic Detection of Core Erlang Message Passing Errors within the Erlang 2018-track
Erlang 2017Author of Towards an Isabelle/HOL Formalisation of Core Erlang within the Erlang 2017-track