معرفی
Jan de Muijnck-Hughes is a Lecturer in the Department of Computer and Information Sciences at the University of Strathclyde, where he is a member of both StrathCyber and the Mathematically Structured Programming groups. He also participates in the Scottish Programming Languages Institute and SICSA (Scottish Informatics & Computer Science Alliance), contributing to the broader academic community in Scotland.
His educational background includes a PhD in Machine Checkable Design Patterns using Dependent Types and Domain Specific Goal-Oriented Modelling Languages from the University of St Andrews (2016), an MSc in Data Protection and the Cloud from Radboud Universiteit Nijmegen (2011), and a BSc in Searching for Efficient Permutation Codes from the University of St Andrews (2008). He also holds a PGCert in Learning and Teaching from the University of Strathclyde (2024) and is a Fellow of Advance HE.
Dr. de Muijnck-Hughes' research centers on making system engineering more trustworthy through Type-Driven Engineering (TyDe). His work investigates how cutting-edge programming language theory—particularly type systems, dependent types, and functional programming—can fundamentally change how we engineer systems by interlinking specifications and implementations. He believes that building trustworthy systems requires making machine-checkable specifications an intrinsic aspect of system development. His research spans functional programming as a foundation for code and specification structure, novel type systems for hardware design and program behavior, behavioral types for program correctness, and the application of dependent types through the Idris programming language.
His recent publications demonstrate a consistent focus on applying type theory to practical system engineering challenges. The research shows a progression from theoretical foundations of dependent types to practical applications in hardware design, security protocols, and language workbenches. A notable trend is the application of formal methods to ensure correctness in cyber security contexts, reflecting his dual expertise in programming languages and security.
- Fellow of the Advance HE (2024)
Dr. de Muijnck-Hughes teaches advanced topics in functional programming, formal verification, and Cyber Security at the Masters level, including CS813: Advanced Information Security and CS886: Advanced Security-by-Design. He actively supervises undergraduate and Masters students through various dissertation projects. His professional activities include speaking engagements at major conferences such as the Conference on Types for Proofs and Programs and organizing the Scottish Programming Languages and Verification Summer School.
As a member of StrathCyber and the Mathematically Structured Programming group, he contributes to research initiatives focused on secure and reliable systems development. His work bridges theoretical programming language concepts with practical security applications, positioning him at the intersection of two critical computing disciplines.
