I am a Post-Doctoral Research Associate at the School of Computing at the University of Glasgow. I am a member of GLASS, and interact with FATA 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. My other core role is lead organiser of the Shameless PLUG seminar series.
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.
|Computing Types with Idris \& Linking Specifications with Implementations.||February 12, 2019||idris,dependent-types|
|Representing Interfaces when you have no Interfaces.||February 9, 2019||idris,dependent-types,interfaces|
|Revisiting Type-Driven Design of Communicating Systems||February 5, 2019||idris,soc,hardware,substructural-type-systems,dependent-types,border-patrol,tdd,systems|
|Handling Side-Effects using Resource Dependent Algebraic Effects||February 5, 2019||idris,soc,hardware,substructural-type-systems,dependent-types,border-patrol,tdd,systems|
|Type-Driven Development of SoC Architectures.||December 11, 2018||idris,soc,hardware,substructural-type-systems,dependent-types,border-patrol,tdd,systems|
There are more posts in the archives.