ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
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

PLACES 2019Author of Value-Dependent Session Design in a Dependently Typed Language within the PLACES-track
Show activities from other conferences

ETAPS 2019-profile
View general profile