Personal profile

Personal Statement

I am a Lecturer in the Department of Computer and Information Sciences and a member of StrathCyber and the Mathematically Structured Programming groups.

Generally speaking my research interests involve making Systems Engineering more TyDe: Type-Driven. 

I want to combine state-of-the-art programming language theory, namely from type-systems, dependent types & functional programming, and fundamentally change the way we engineer systems by interlinking our System's specifications and implementations. 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.

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

Please see my personal website for more information.



Expertise related to UN Sustainable Development Goals

In 2015, UN member states agreed to 17 global Sustainable Development Goals (SDGs) to end poverty, protect the planet and ensure prosperity for all. This person’s work contributes towards the following SDG(s):

  • SDG 4 - Quality Education
  • SDG 8 - Decent Work and Economic Growth
  • SDG 9 - Industry, Innovation, and Infrastructure
  • SDG 12 - Responsible Consumption and Production

Education/Academic qualification

Doctor of Philosophy, Machine Checkable Design Patterns using Dependent Types and Domain Specific Goal-Oriented Modelling Languages, University of St Andrews


Award Date: 22 Jun 2016

Master of Science, Data Protection and the Cloud, Radboud Universiteit Nijmegen

Award Date: 9 Mar 2011

External positions

Affiliated Researcher , University of Glasgow

1 Sept 2023 → …

Research Associate, University of Glasgow


Research Fellow, University of St Andrews


Teaching Fellow, University of St Andrews



  • type theory
  • programming languages
  • verification
  • correctness-by-construction
  • dependent types
  • Risk Management


Dive into the research topics where Jan de Muijnck-Hughes is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles

Collaborations and top research areas from the last five years

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or