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