Dr Jan De Muijnck-Hughes

Lecturer

Computer and Information Sciences

Contact

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.

 

 

Back to staff profile

Publications

Colouring flags with Dafny & Idris
de Muijnck-Hughes Jan, Noble James
Dafny 2024 (2024)
Capable : a mechanised imperative language with native multiparty session types
Muijnck-Hughes Jan de, Urlea Cristian, Voinea Laura, Vanderbauwhede Wim
ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity (2023)
Wiring circuits is easy as 0, 1, omega, or is it... (Artifact)
Muijnck-Hughes Jan de, Vanderbauwhede Wim
, pp. 4:1-4:3 (2023)
https://doi.org/10.4230/DARTS.9.2.4
Wiring circuits is easy as {0,1,w}, or is it...
de Muijnck-Hughes Jan, Vanderbauwhede Wim
37th European Conference on Object-Oriented Programming, ECOOP 2023 37th European Conference on Object-Oriented Programming, ECOOP 2023 Leibniz International Proceedings in Informatics, LIPIcs Vol 263 (2023)
https://doi.org/10.4230/LIPIcs.ECOOP.2023.8
Type theory as a language workbench
de Muijnck-Hughes Jan, Allais Guillaume, Brady Edwin
Eelco Visser Commemorative Symposium (EVCS 2023) Open Access Series in Informatics (OASIcs) Vol 109 (2023)
https://doi.org/10.4230/OASIcs.EVCS.2023.9
A framework for resource dependent EDSLs in a dependently typed language
de Muijnck-Hughes Jan, Brady Edwin, Vanderbauwhede Wim
34th European Conference on Object-Oriented Programming, ECOOP 2020 34th European Conference on Object-Oriented Programming, ECOOP 2020 Leibniz International Proceedings in Informatics, LIPIcs Vol 166 (2020)
https://doi.org/10.4230/LIPIcs.ECOOP.2020.20

More publications

Back to staff profile

Contact

Dr Jan De Muijnck-Hughes
Lecturer
Computer and Information Sciences

Email: jan.de-muijnck-hughes@strath.ac.uk
Tel: Unlisted