Jan de Muijnck-Hughes

Registered user since Thu 7 Mar 2019

Name:Jan de Muijnck-Hughes
Bio:

Jan is a Research Associate at the School of Computing at the University of Glasgow, where he investigates the construction of Structural and Behavioural Type-Systems for hardware design. Generally speaking, his research interests are revolved around the Type-Driven Development of Communicating Systems using Dependent Types, Session Types, and Algebraic Effects as presented in the dependently typed programming language Idris.

Country:United Kingdom
Affiliation:University of Glasgow
Personal website:https://jfdm.github.io
Research interests:Dependent Types, Session Types, Protocol & Hardware Design & Verification

Contributions

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
PLACES 2019 Author of Value-Dependent Session Design in a Dependently Typed Language within the PLACES-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