I am a Post-Doctoral Research Assistant at the School of Computing at the University of Glasgow  where I am a member of the GLASS Research Group My core role at Glasgow is too investigate the construction of Structural and Behavioural Type-Systems for hardware design on the EPSRC Funded Border Patrol Project