Dr Jan de Muijnck-Hughes

  • Affiliated Researcher (School of Computing Science)

email: Jan.DeMuijnck-Hughes@glasgow.ac.uk

School of Computing Science, 18 Lilybank Gardens

Import to contacts

ORCID iDhttps://orcid.org/0000-0003-2185-8543

Biography

I am a Post-Doctoral Research Associate at the School of Computing at the University of Glasgow, where I am a member of the Glasgow Parallelism Group (GPG) as part of the Glasgow Systems Section (GLASS). I maintain strong links with the Formal Methods Research Group in Formal Analysis, Theory & Algorithms (FATA) Section through membership of the Programming Languages (PL) Theme.

My core role at Glasgow is to investigate the construction and application of structural and behavioural type-systems for hardware design languages. My other research interests are in the general type-driven development of systems using dependent types, session types, and algebraic effect handlers.

Before I came to Glasgow I was a Research Fellow (and Teaching Fellow) at the School of Computer Science at the University of St Andrews. I completed both my PhD and undergraduate degree at the University of St Andrews, and in between these degrees I was a Kerckhoffs Master student at the Radboud Universiteit Nijmegen in the Netherlands.

Research interests

 

Generally speaking my research interests involve making Systems Engineering more TyDe: Type-Driven. Today's systems will utilise a specification that is separate from the implementation, and their deployment requires that we verify that implementations adhere to specifications through external processes. There is a fundamental separation-of-concerns between system: specification—by domain experts; verification—by verification experts; creation—by software engineers; use—by end users; and certification—by auditors. Such a disconnect leads to issues over system security and safety by allowing errors to be present at various points during a system's lifecycle.

I am interested in how we can combine state-of-the-art advances in programming language theory, namely type-systems & functional programming, and use these advances to fundamentally change the way we engineer systems and interlink our engineering concerns together. I believe that if we are to ever build trustworthy systems, we must make machine checkable specifications an intrinsic aspect of the system through adoption of type-driven approaches.

By doing so we can: reduce mismatches between a system’s specification and implementation; increase productivity of system creation and verification; and fundamentally enhance system trustworthiness. This will impact both Society and The Economy by guaranteeing that our systems are trustworthy because our engineering practises are themselves: Type Driven!

Specifically, I am interested in bettering system design and construction through applications of:

  • functional programming;
  • formal verification;
  • mathematically informed programming;
  • dependent types;
  • sub-structural typing (quantitative, resource-dependent, session); and
  • algebraic effect handlers.

There are more topics (Privacy and Cryptography) that I am interested in, but the above keeps me busy for now!

Publications

List by: Type | Date

Jump to: 2023 | 2020 | 2019 | 2015 | 2014 | 2013 | 2012
Number of items: 15.

2023

De Muijnck-Hughes, J. , Urlea, C. , Voinea, L. and Vanderbauwhede, W. (2023) Capable: A Mechanised Imperative Language with Native Multiparty Session Types. In: ACM SIGPLAN Conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH 2023) - 30 Years of Session Types Workshop, Cascais, Portugal, 22-23 Oct 2023, (Accepted for Publication)

De Muijnck-Hughes, J. and Vanderbauwhede, W. (2023) Wiring Circuits Is Easy as {0, 1, ω}, or Is It. . . (Artifact). In: 37th European Conference on Object-Oriented Programming (ECOOP 2023), Seattle, WA, USA, 17-21 July 2023, 4:1-4:3. (doi: 10.4230/DARTS.9.2.4)

De Muijnck-Hughes, J. and Vanderbauwhede, W. (2023) Wiring Circuits Is Easy as {0,1,ω}, or Is It... In: 37th European Conference on Object-Oriented Programming (ECOOP 2023), Seattle, WA, USA, 17-21 July 2023, 8:1-8:28. (doi: 10.4230/LIPIcs.ECOOP.2023.8)

De Muijnck-Hughes, J. , Allais, G. and Brady, E. (2023) Type Theory as a Language Workbench. In: Eelco Visser Commemorative Symposium (EVCS 2023), Delft, The Netherlands, 05 April 2023, 9:1-9:13. ISBN 9783959772679 (doi: 10.4230/OASIcs.EVCS.2023.9)

2020

de Muijnck-Hughes, J. , Brady, E. and Vanderbauwhede, W. (2020) A Framework for Resource Dependent EDSLs in a Dependently Typed Language (Pearl). In: 34th European Conference on Object-Oriented Programming (ECOOP 2020), 15-17 Nov 2020, p. 20. ISBN 9783959771542 (doi: 10.4230/LIPIcs.ECOOP.2020.20)

De Muijnck-Hughes, J. (2020) Type-Driven Development with Idris. Journal of Functional Programming, 30, e16. (doi: 10.1017/S0956796820000143)[Book Review]

de Muijnck-Hughes, J. , Brady, E. and Vanderbauwhede, W. (2020) A Framework for Resource Dependent EDSLs in a Dependently Typed Language (Artifact). Dagstuhl Artifacts Series, 6(2), 2. (doi: 10.4230/DARTS.6.2.2)

2019

De Muijnck-Hughes, J. and Vanderbauwhede, W. (2019) Well-Typed Models are Correct Models: Applying State-of-the-Art Advances in Programming Language Theory to Systems-on-a-Chip. Scottish Seminar on Formal Modelling, Verification, and Synthesis (SFMoVeS 19), Glasgow, UK, 09 Sep 2019.

De Muijnck-Hughes, J. and Vanderbauwhede, W. (2019) A typing discipline for hardware interfaces (artifact). Dagstuhl Artifacts Series, 5(2), 14:1-14:3. (doi: 10.4230/DARTS.5.2.14)

de Muijnck-Hughes, J. and Vanderbauwhede, W. (2019) A Typing Discipline for Hardware Interfaces. In: 33rd European Conference on Object-Oriented Programming (ECOOP 2019), London, UK, 15-19 Jul 2019, 6:1-6:27. ISBN 9783959771115 (doi: 10.4230/LIPIcs.ECOOP.2019.6)

de Muijnck-Hughes, J. , Brady, E. and Vanderbauwhede, W. (2019) Value-Dependent Session Design in a Dependently Typed Language. In: Programming Language Approaches to Concurrency- and Communication-cEntric Software, (PLACES 2019), Prague, Czech Republic, 07 Apr 2019, pp. 47-59. (doi: 10.4204/EPTCS.291.5)

2015

De Muijnck-Hughes, J. and Duncan, I. M.M. (2015) What's the PREMES Behind your Pattern? In: 22nd Conference on Pattern Languages of Programs. PLoP 15 Pattern Languages of Programs Conference 2015, Pittsburgh, PA, USA, 24 Oct 2015,

2014

Duncan, I. and de Muijnck-Hughes, J. (2014) Security Pattern Evaluation. In: 2014 IEEE 8th International Symposium on Service Oriented System Engineering, Oxford, UK, 7-11 Apr 2014, pp. 428-429. ISBN 9781479936168 (doi: 10.1109/SOSE.2014.61)

2013

de Muijnck-Hughes, J. and Duncan, I. (2013) Issues Affecting Security Design Pattern Engineering. In: Second International Workshop on Cyberpatterns: Unifying Design Patterns with Security, Attack and Forensic Patterns, Abingdon, UK, 8-9 July 2013, pp. 62-69.

2012

de Muijnck-Hughes, J. and Duncan, I. (2012) Thinking Towards a Pattern Language for Predicate Based Encryption Crypto-Systems. In: 2012 IEEE Sixth International Conference on Software Security and Reliability Companion, Gaithersburg, MD, USA, 20-22 June 2012, pp. 27-32. (doi: 10.1109/SERE-C.2012.34)

This list was generated on Sat Sep 30 16:22:51 2023 BST.
Jump to: Articles | Book Reviews | Conference or Workshop Item | Conference Proceedings
Number of items: 15.

Articles

de Muijnck-Hughes, J. , Brady, E. and Vanderbauwhede, W. (2020) A Framework for Resource Dependent EDSLs in a Dependently Typed Language (Artifact). Dagstuhl Artifacts Series, 6(2), 2. (doi: 10.4230/DARTS.6.2.2)

De Muijnck-Hughes, J. and Vanderbauwhede, W. (2019) A typing discipline for hardware interfaces (artifact). Dagstuhl Artifacts Series, 5(2), 14:1-14:3. (doi: 10.4230/DARTS.5.2.14)

Book Reviews

De Muijnck-Hughes, J. (2020) Type-Driven Development with Idris. Journal of Functional Programming, 30, e16. (doi: 10.1017/S0956796820000143)[Book Review]

Conference or Workshop Item

De Muijnck-Hughes, J. and Vanderbauwhede, W. (2019) Well-Typed Models are Correct Models: Applying State-of-the-Art Advances in Programming Language Theory to Systems-on-a-Chip. Scottish Seminar on Formal Modelling, Verification, and Synthesis (SFMoVeS 19), Glasgow, UK, 09 Sep 2019.

Conference Proceedings

De Muijnck-Hughes, J. , Urlea, C. , Voinea, L. and Vanderbauwhede, W. (2023) Capable: A Mechanised Imperative Language with Native Multiparty Session Types. In: ACM SIGPLAN Conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH 2023) - 30 Years of Session Types Workshop, Cascais, Portugal, 22-23 Oct 2023, (Accepted for Publication)

De Muijnck-Hughes, J. and Vanderbauwhede, W. (2023) Wiring Circuits Is Easy as {0, 1, ω}, or Is It. . . (Artifact). In: 37th European Conference on Object-Oriented Programming (ECOOP 2023), Seattle, WA, USA, 17-21 July 2023, 4:1-4:3. (doi: 10.4230/DARTS.9.2.4)

De Muijnck-Hughes, J. and Vanderbauwhede, W. (2023) Wiring Circuits Is Easy as {0,1,ω}, or Is It... In: 37th European Conference on Object-Oriented Programming (ECOOP 2023), Seattle, WA, USA, 17-21 July 2023, 8:1-8:28. (doi: 10.4230/LIPIcs.ECOOP.2023.8)

De Muijnck-Hughes, J. , Allais, G. and Brady, E. (2023) Type Theory as a Language Workbench. In: Eelco Visser Commemorative Symposium (EVCS 2023), Delft, The Netherlands, 05 April 2023, 9:1-9:13. ISBN 9783959772679 (doi: 10.4230/OASIcs.EVCS.2023.9)

de Muijnck-Hughes, J. , Brady, E. and Vanderbauwhede, W. (2020) A Framework for Resource Dependent EDSLs in a Dependently Typed Language (Pearl). In: 34th European Conference on Object-Oriented Programming (ECOOP 2020), 15-17 Nov 2020, p. 20. ISBN 9783959771542 (doi: 10.4230/LIPIcs.ECOOP.2020.20)

de Muijnck-Hughes, J. and Vanderbauwhede, W. (2019) A Typing Discipline for Hardware Interfaces. In: 33rd European Conference on Object-Oriented Programming (ECOOP 2019), London, UK, 15-19 Jul 2019, 6:1-6:27. ISBN 9783959771115 (doi: 10.4230/LIPIcs.ECOOP.2019.6)

de Muijnck-Hughes, J. , Brady, E. and Vanderbauwhede, W. (2019) Value-Dependent Session Design in a Dependently Typed Language. In: Programming Language Approaches to Concurrency- and Communication-cEntric Software, (PLACES 2019), Prague, Czech Republic, 07 Apr 2019, pp. 47-59. (doi: 10.4204/EPTCS.291.5)

De Muijnck-Hughes, J. and Duncan, I. M.M. (2015) What's the PREMES Behind your Pattern? In: 22nd Conference on Pattern Languages of Programs. PLoP 15 Pattern Languages of Programs Conference 2015, Pittsburgh, PA, USA, 24 Oct 2015,

Duncan, I. and de Muijnck-Hughes, J. (2014) Security Pattern Evaluation. In: 2014 IEEE 8th International Symposium on Service Oriented System Engineering, Oxford, UK, 7-11 Apr 2014, pp. 428-429. ISBN 9781479936168 (doi: 10.1109/SOSE.2014.61)

de Muijnck-Hughes, J. and Duncan, I. (2013) Issues Affecting Security Design Pattern Engineering. In: Second International Workshop on Cyberpatterns: Unifying Design Patterns with Security, Attack and Forensic Patterns, Abingdon, UK, 8-9 July 2013, pp. 62-69.

de Muijnck-Hughes, J. and Duncan, I. (2012) Thinking Towards a Pattern Language for Predicate Based Encryption Crypto-Systems. In: 2012 IEEE Sixth International Conference on Software Security and Reliability Companion, Gaithersburg, MD, USA, 20-22 June 2012, pp. 27-32. (doi: 10.1109/SERE-C.2012.34)

This list was generated on Sat Sep 30 16:22:51 2023 BST.

Grants

AppControl: Enforcing Application Behaviour through Type-Based Constraints (EPSRC, 2020-2024 EP/V000462/1) Researcher Co Investigator with Prof. Wim Vanderbauwhede as PI and others.

Teaching

2020-2021

  • CS4025P: Individual Project
    • Supervisor to two Level 4 Students.

2019-2020

  • CS4025P: Individual Project
    • Supervisor to one Level 4 Student.

2018-2019

  • CS4025P: Individual Project
    • Supervisor to two Level 4 Students.
  • CS4021: Functional Programming with Haskell
    • Co-Lecturer, and tutor on course’s corresponding MOOC.

2017-2018

  • CS4021: Functional Programming with Haskell
    • Co-Lecturer, and tutor on course’s corresponding MOOC.
  • CS4062: Cyber Security Fundamentals
    • Co-Lecturer