Simon Oddershede Gregersen

Simon Oddershede Gregersen


photo_color.jpg

I am a PhD student in the Programming Languages group at Aarhus University under the guidance of Anders Møller.

Publications

  • A Dependently Typed Library for Static Information-Flow Control in Idris
    Simon Gregersen, Søren Eller Thomsen, Aslan Askarov.
    In Proceedings of POST 2019. To appear.
    PDF | PDF (extended) | Code

Teaching

Positions

Activities

  • Google Compiler & Programming Language Summit, Munich, Germany. December 3 - 5, 2018.
  • EUTypes WG meeting, Aarhus, Denmark. October 8 - 9, 2018.
  • DeepSpec Summer School, Princeton, USA. July 16 - 27, 2018.
  • Google Web Security Summit, Munich, Germany. June 25 - 27, 2018.
  • Formal Methods Meet JavaScript Workshop London, England. March 19 - 20, 2018.
  • Google Compiler & Programming Language Summit, Munich, Germany. December 4 - 6, 2017.
  • International School on Foundations of Security Analysis and Design, Bertinoro, Italy. August 28 - September 2, 2017.

Created: 2019-02-24 Sun 15:25

Validate