Søren Eller Thomsen -

Registered user since Tue 29 Jan 2019

Name:Søren Eller Thomsen

Country:Denmark

Affiliation:Aarhus University

Personal website: http://cs.au.dk/~sethomsen/

Contributions

2019

POST

Author of A Dependently Typed Library for Static Information-Flow Control in Idris within the POST 2019-track

CoqPL

Author of WIP: Formalizing the Concordium Consensus Protocol in Coq within the CoqPL-track