Jan de Muijnck-Hughes -

Registered user since Thu 7 Mar 2019

Name:Jan de Muijnck-Hughes

Bio:

Generally speaking, I am interested in how we can take state-of-the-art advances in programming language theory, namely type-systems & functional programming as combined and presented in the Idris language, and use these advances to fundamentally change how we design systems to make them more trustworthy: Secure and Safe.

Specifically, I am interested in bettering system design and construction through applications of: functional programming; formal verification; mathematically informed programming; dependent types; sub-structural typing (quantitative, resource-dependent, session); and effect handlers. There are more topics that I am interested in, but the above keeps me busy for now!

Country:United Kingdom

Affiliation:University of Glasgow

Personal website:https://jfdm.github.io

Research interests:Dependent Types, Programming Languages, Program Verification, Trustworthy Systems, Hardware Design & Verification.

Contributions

ECOOP 2023	Author of Wiring circuits is easy as {0, 1, ω}, or is it. . . within the Research Papers-track
EVCS	Author of Type Theory as a Language Workbench within the Eelco Visser Commemorative Symposium-track
APLAS 2022	Co-chair in Artifact Evaluation Committee Committee Member in Program Committee
PLDI 2021	Committee Member in Artifact Evaluation Committee within the Research Artifacts-track
ECOOP 2020	Author of A Framework for Resource Dependent EDSLs in a Dependently Typed Language within the Research Papers-track Author of A Framework for Resource Dependent EDSLs in a Dependently-Typed Language (Artifact) within the Artifacts-track
ECOOP 2019	Author of A Typing Discipline for Hardware Interfaces within the Research Papers-track Author of A Typing Discipline for Hardware Interfaces within the Artifacts-track
PLACES 2019	Author of Value-Dependent Session Design in a Dependently Typed Language within the PLACES-track