Talks

2022

• Muijnck-Hughes, J. & Vanderbauwhede, W. (2022). Wiring circuits is as easy as $0-1-\omega$, or is it…. University of Glasgow.

2021

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

2020

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

2019

• Muijnck-Hughes, J. (2019). Handling side-effects using resource dependent algebraic effects.. University of Glasgow.
• Muijnck-Hughes, J. (2019). A type-system of sorts for bigraphs.. University of Strathclyde.
• Muijnck-Hughes, J., Brady, E. & Vanderbauwhede, W. (2019). Type-driven design of communicating systems.. University of Glasgow.
• Muijnck-Hughes, J. & Vanderbauwhede, W. (2019). 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

• Muijnck-Hughes, J. & (2018). A type-system for describing the structural topology of system-on-a-chip architectures.
• Muijnck-Hughes, J. & Vanderbauwhede, W. (2018). Type-systems for describing system-on-a-chip architectures.. University of Edinburgh.
• Muijnck-Hughes, J. & (2018). Type-system driven development of soc architectures..
• Muijnck-Hughes, J. & (2018). A type-system for describing system-on-a-chip architectures. Retrieved from 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/
• Muijnck-Hughes, J. & (2018). Type-system driven development of soc architectures..

2017

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

2016

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

2015

• Muijnck-Hughes, J., Brady, E. & Hammond, K. (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/
• Muijnck-Hughes, J. (2015). Re-targeting the grl for different domains. University of St Andrews.
• Muijnck-Hughes, J. (2015). Real world idris: Building practical tools in a depdnently typed language.. University of St Andrews.

2014

• Muijnck-Hughes, J., Brady, E. & Hammond, K. (2014). Veri–app–behaviour: Using dependent types to enforce protocol specification adherence..

2012

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