Dr Jan de Muijnck-Hughes

  • Research Associate (School of Computing Science)

Biography

I am a Post-Doctoral Research Assistant at the School of Computing at the University of Glasgow, where I am a member of the GLASS 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.

Prior to Glasgow, I was a Research Fellow at the School of Computer Science in 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 Checkable 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.


Research interests

Generally speaking my research interests are:

  • Type-Driven Development of Communicating Systems using Dependent Types, Session Types, and Algebraic Effects.
  • Use of dependent types to address the separation-of-concerns relating to advanced cryptographic system specification (by cryptographers), and their development, application, and deployment---by software engineers.

Publications

List by: Type | Date

Jump to: 2019 | 2015 | 2014 | 2013 | 2012
Number of items: 8.

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 Sun Nov 17 07:17:51 2019 GMT.
Number of items: 8.

Articles

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)

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. 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 Sun Nov 17 07:17:51 2019 GMT.