Dr Jan De Muijnck-Hughes

  • Research Associate (School of Computing Science)

telephone: 0141 3305029
email: Jan.DeMuijnck-Hughes@glasgow.ac.uk

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: 2014 | 2013 | 2012
Number of items: 3.

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 Apr 21 20:25:34 2018 BST.
Number of items: 3.

Conference Proceedings

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 Apr 21 20:25:34 2018 BST.