Talks


2022

  • & (). Wiring circuits is as easy as $0-1-\omega$, or is it…. University of Glasgow.

2021

  • & (). Formalising the (sub-)structural aspects of systemverilog..
  • & (). Formalising the (sub-)structural aspects of systemverilog, again….
  • & (). Wiring circuits is as easy as $0-1-\omega$, or is it…. University of Edinburgh.
  • & (). An introduction to building verified compilers using dependent-types. University of Glasgow.

2020

  • , & (). Building resource-dependent EDSLs in a dependently-typed language.. University of Strathclyde.
  • & (). A mechanisation of systemfoo & friends in idris.. University of Glasgow.
  • & (). Towards a formalisation of the (sub)-structural aspects of systemverilog.

2019

  • (). Handling side-effects using resource dependent algebraic effects.. University of Glasgow.
  • (). A type-system of sorts for bigraphs.. University of Strathclyde.
  • , & (). Type-driven design of communicating systems.. University of Glasgow.
  • & (). LightClick: A linear typed orchestration language for system-on-a-chip designs. University of St Andrews. Retrieved from https://blogs.cs.st-andrews.ac.uk/csblog/2019/10/27/jan-de-muijnck-hughes/

2018

2017

  • & (). Type-driven design of communicating systems using idris. Radboud Universiteit Nijmegen. Retrieved from https://wiki.clean.cs.ru.nl/NL-FP_dag_2017
  • & (). Structural & behavioural types for soc design: Motivations & challenges.. University of Glasgow.
  • & (). Type-driven development of communicating systems.. Heriot Watt University.
  • & (). Type-driven development of communicating systems.. Imperial College London.
  • & (). Designing hardware using session types and dependent types: A first look. Retrieved from http://simonjf.com/spls-oct2017/
  • & (). Type-driven development of communicating systems.. University of St Andrews.
  • & (). Type-driven development of communicating systems.. University of Glasgow. Retrieved from https://samoa.dcs.gla.ac.uk/events/viewtalk.jsp?id=2646

2016

  • & (). Type-driven design of communicating systems using idris. University of Strathclyde. Retrieved from https://msp-strath.github.io/spls-16/
  • (). Using dependent types to improve the grl.. University of St Andrews.

2015

  • , & (). Using dependent types to specify, implement, and reason on communication protocols. University of Canterbury. Retrieved from https://www.cryptoforma.org.uk/2014/12/meeting-kent-15-january/
  • (). Re-targeting the grl for different domains. University of St Andrews.
  • (). Real world idris: Building practical tools in a depdnently typed language.. University of St Andrews.

2014

  • , & (). Veri–app–behaviour: Using dependent types to enforce protocol specification adherence..

2012

  • (). Self-protecting electronic medical records using attribute based encryption. University of St Andrews,.
  • (). Modern cryptography & formal methods.Retrieved from https://eb.host.cs.st-andrews.ac.uk/TPL/