Jan de Muijnck-Hughes

I am a Research Fellow in the School of Computer Science at the University of St Andrews investigating Type-Driven Verification of Security Protocols using Dependent Types, Session Types, Algebraic Effects, and EDSLs as combined withing the dependently typed language Idris.

Prior to beginning 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.


I work in conjunction with the Functional Programming, Systems Engineering research groups.

My main area of interest is addressing the usability of novel cryptographic systems through pattern and type based approaches. My PhD thesis investigated the improvement of pattern-based approaches using domain specific modelling languages, and the improvement of domain modelling using language oriented type-driven constructions using dependent types. Outside of these areas I am also interested in other aspects of security, privacy and trust, from both a technical and socio-technical standpoint. I am also heavily interested in language based security using dependent types and formal methods.

To gain a better understanding of what I am into, check out my reading library on citeUlike.

Recent Posts

Posts Date Created Categories
FP Dag 17-Type-Driven Design of Communicating Systems using Idris January 9, 2017 idris,effects,sessions,tdvcs
Off The Beaten Track November 11, 2016 idris,tdvcs,paper
Colour Blind Aware Semantic Highlighting November 10, 2016 latex,accessibility
SPLS-Type-Driven Design of Communicating Systems using Idris November 9, 2016 idris,effects,sessions,tdvcs
Effectful Channel Management October 5, 2016 idris,effects,sessions,tdvcs
An Effectful Logger':' Part One August 27, 2015 idris,effects,tips
Tips for using Effects in Idris August 14, 2015 idris,effects,tips
Dependent Types and Goal-Oriented DSMLs July 28, 2015 idris,phd,paper
Working With Idris':' Long Compile Times July 5, 2015 idris,tricks
Dependent Lists July 5, 2015 idris,adt,tricks
Types and Abstract Interpretation July 4, 2015 idris,formal
Embedded Domain Specific Type Systems for Declarative EDSls July 4, 2015 idris

There are more posts in the archives.