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.

Generally speaking, my research interests are revolved around the Type-Driven Development of Communicating Systems using Dependent Types, Session Types, and Algebraic Effects as presented in the dependently typed programming language Idris.

Prior to Glasgow, I was a Research Fellow in the School of Computer Science at 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 Checkeable 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.

Recent Posts

Posts Date Created Categories
Type-Systems for Describing System-on-a-Chip Architectures. July 12, 2018 idris,soc,hardware,linear-types,dependent-types,border-patrol,tdd,pl-interest
TyDe Denied July 2, 2018 idris,tdvcs,border-patrol,paper,tyde,rejection
A Type-System for describing System-on-a-Chip Architectures. April 5, 2018 idris,soc,hardware,linear-types,dependent-types,border-patrol,tdd,stacs-fp
A Type-System for describing the Structural Topology of System-on-a-Chip Architectures. February 28, 2018 idris,soc,hardware,linear-types,dependent-types,border-patrol,tdd,msp101
Designing Hardware using Session Types and Dependent Types---A First Look October 11, 2017 idris,session-types,border-patrol,tdd,spls
Type-Driven Development of Communicating Systems using Idris July 25, 2017 idris,effects,sessions,tdvcs
ICFP Rejection March 28, 2017 idris,tdvcs,paper,icfp,rejection
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,obt,rejection
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,spls
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,gpce,rejection
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.