Søren Eller Thomsen - Research - Aarhus University

Find

For students
For PhDs
For employees

Department of Computer Science

Aarhus University Seal / Aarhus Universitets segl

Søren Eller Thomsen

PhD Student

Søren Eller Thomsen

Department of Computer Science
Åbogade 34
building 5341, 220
8200 Aarhus N
Denmark
sethomsen@cs.au.dk
Department of Computer Science
Åbogade 34
8200 Aarhus N
Denmark
sethomsen@cs.au.dk

Latest publications

Published
A Dependently Typed Library for Static Information-Flow Control in IDRIS
Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

View all (1) »

ID: 113907844