Dr Jan de Muijnck-Hughes
- Research Associate (School of Computing Science)
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.
Prior to Glasgow, I was a Research Fellow at the School of Computer Science in the University of St Andrews investigating Type-Driven Development of Communicating Systems using Idris. I completed my PhD at the University of St Andrews with a thesis entitled: Machine Checkable Design Patterns using Dependent Types and Domain Specific Goal-Oriented Modelling Languages.
Prior to my PhD studies, I was a Kerckhoffs Master student at the Radboud Universiteit Nijmegen in the Netherlands, and completed my undergraduate degree at the University of St Andrews.
Generally speaking my research interests are:
- Type-Driven Development of Communicating Systems using Dependent Types, Session Types, and Algebraic Effects.
- Use of dependent types to address the separation-of-concerns relating to advanced cryptographic system specification (by cryptographers), and their development, application, and deployment---by software engineers.