Registered user since Thu 7 Mar 2019
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.
|ECOOP 2019|| A Typing Discipline for Hardware Interfaces|
A Typing Discipline for Hardware Interfaces
|Show activities from other conferences|
View general profile