• Sign in
  • Sign up
conf.researchr.org / Søren Eller Thomsen
  • ETAPS 2019 profile
  • POPL 2019 profile
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
Share
xSun 11 May 23:19
using conf.researchr.org (v1.69.0)
Support page
Sign Up