Dr Jan De Muijnck-Hughes

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.