Towards Type-Driven Assurance of Communicating Systems

I have been fortunate to be awarded funding for a UK-based PhD position as part of the [John Anderson Research Student Scheme]( JARSS PhD studentship).

Whilst awaiting for a proper advert on the University’s own systems.

A temporary one is here