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.
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.
|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.