Talks

2020

  • Jan de Muijnck-Hughes and Wim Vanderbauwhede “Towards a Formalisation of the (Sub)-Structural Aspects of Systemverilog,” in Scottish Programming Languages Seminar October 20 Heriot-Watt University, 2020.
  • Jan de Muijnck-Hughes and Wim Vanderbauwhede “A Mechanisation of Systemfoo & Friends in Idris.” (presented at the Shameless plug ’20/21, Glasgow, UK: University of Glasgow, 2020).
  • Jan de Muijnck-Hughes, Edwin Brady, and Wim Vanderbauwhede “Building Resource-Dependent EDSLs in a Dependently-Typed Language.” (presented at the MSP101 ’19/20, Glasgow, UK: University of Strathclyde, 2020).

2019

  • Jan de Muijnck-Hughes and Wim Vanderbauwhede “LightClick: A Linear Typed Orchestration Language for System-on-a-Chip Designs” (presented at the StACS school seminar series ’19/20, St Andrews, UK: University of St Andrews, 2019), https://blogs.cs.st-andrews.ac.uk/csblog/2019/10/27/jan-de-muijnck-hughes/.
  • Jan de Muijnck-Hughes “A Type-System of Sorts for Bigraphs.” (presented at the MSP101 ’18/19, Glasgow, UK: University of Strathclyde, 2019).
  • Jan de Muijnck-Hughes “Handling Side-Effects Using Resource Dependent Algebraic Effects.” in FATA Seminar (Glasgow: University of Glasgow, 2019).
  • Jan de Muijnck-Hughes, Edwin Brady, and Wim Vanderbauwhede “Type-Driven Design of Communicating Systems.” in PLUG Seminar (Glasgow: University of Glasgow, 2019).

2018

  • Jan de Muijnck-Hughes and others “Type-System Driven Development of Soc Architectures.” in System Seminar Series, University of Glasgow, 2018.
  • Jan de Muijnck-Hughes and others “Type-System Driven Development of Soc Architectures.” in Scottish Programming Languages Seminar October 18 University of Strathclyde, 2018.
  • Jan de Muijnck-Hughes and Wim Vanderbauwhede “Type-Systems for Describing System-on-a-Chip Architectures.” (presented at the PL-interest seminar series ’17/18, Edinburgh, UK: University of Edinburgh, 2018).
  • Jan de Muijnck-Hughes and others “A Type-System for Describing System-on-a-Chip Architectures,” in StACS Functional Programming Group Seminar, 2018, https://blogs.cs.st-andrews.ac.uk/csblog/2018/03/30/a-type-system-for-describing-system-on-a-chip-architectures-jan-de-muijnck-hughes/.
  • Jan de Muijnck-Hughes and others “A Type-System for Describing the Structural Topology of System-on-a-Chip Architectures,” in University of Strathclyde Msp Group Seminar, 2018.

2017

  • Jan de Muijnck-Hughes and Edwin Brady “Type-Driven Development of Communicating Systems.” in Heriot Watt University Logic and Programming Languages Group Seminar. (Edinburgh: Heriot Watt University, 2017).
  • Jan de Muijnck-Hughes and others “Structural & Behavioural Types for Soc Design: Motivations & Challenges.” in University of Glasgow Gpg Seminar. (presented at the GPG seminar series 17/18, Glasgow: University of Glasgow, 2017).
  • Jan de Muijnck-Hughes and others “Designing Hardware Using Session Types and Dependent Types: A First Look,” in SPLS Oct ’17, 2017, http://simonjf.com/spls-oct2017/.
  • Jan de Muijnck-Hughes and Edwin Brady “Type-Driven Development of Communicating Systems.” in Imperal College London Mrg Seminar. (London: Imperial College London, 2017).
  • Jan de Muijnck-Hughes and Edwin Brady “Type-Driven Development of Communicating Systems.” in University of Glasgow Gpg Seminar. (St Andrews: University of Glasgow, 2017), https://samoa.dcs.gla.ac.uk/events/viewtalk.jsp?id=2646.
  • Jan de Muijnck-Hughes and Edwin Brady “Type-Driven Development of Communicating Systems.” in University of St Andrews Fp Group Seminar, (St Andrews: University of St Andrews, 2017).
  • Jan de Muijnck-Hughes and Edwin Brady “Type-Driven Design of Communicating Systems Using Idris,” in FP Dag ’17 (presented at the FP dag ’17, Nijmegen, NL: Radboud Universiteit Nijmegen, 2017), https://wiki.clean.cs.ru.nl/NL-FP_dag_2017.

2016

  • Jan de Muijnck-Hughes and Edwin Brady “Type-Driven Design of Communicating Systems Using Idris,” in SPLS Nov ’16 (presented at the SPLS nov ’16, Glasgow: University of Strathclyde, 2016), https://msp-strath.github.io/spls-16/.
  • Jan de Muijnck-Hughes “Using Dependent Types to Improve the Grl.” in University of St Andrews Fp Group Seminar. (St Andrews: University of St Andrews, 2016).

2015

  • Jan de Muijnck-Hughes “Re-Targeting the Grl for Different Domains” (presented at the Practical types 2015, St Andrews, UK: University of St Andrews, 2015).
  • Jan de Muijnck-Hughes “Real World Idris: Building Practical Tools in a Depdnently Typed Language.” in University of St Andrews Fp Group Seminar. (St Andrews: University of St Andrews, 2015).

2014

  • Jan de Muijnck-Hughes, Edwin Brady, and Kevin Hammond “Using Dependent Types to Specify, Implement, and Reason on Communication Protocols,” in CryptoForma Jan ’15 (Kent,UK: University of Canterbury, 2015), https://www.cryptoforma.org.uk/2014/12/meeting-kent-15-january/.
  • Jan de Muijnck-Hughes, Edwin Brady, and Kevin Hammond “Veri–App–Behaviour: Using Dependent Types to Enforce Protocol Specification Adherence.” in SICSA Cybersec Meetup Nov ’14 (University of Edinburgh, 2014).

2012

  • Jan de Muijnck-Hughes “Self-Protecting Electronic Medical Records Using Attribute Based Encryption,” in University of St Andrews Security Colloquium. (St Andrews: University of St Andrews, 2012).
  • Jan de Muijnck-Hughes “Modern Cryptography & Formal Methods,” in SICSA Summer School on Types and Programming Languages (presented at the SICSA summer school on types and programming languages, University of St Andrews, 2012), https://eb.host.cs.st-andrews.ac.uk/TPL/.