Mathias Vorreiter Pedersen


  • Computer science PhD student at Aarhus University
  • Phone: +45 31 17 15 75
  • Email: mvp [at] cs . au . dk
  • Office: Turing 218
  • Interests
    • Programming language design and implementation
    • Semantics of programming languages
    • Computer security
  • My GitHub repositories

  • I've been a teaching assistant for the following courses
    • 3 x Compilation
    • 1 x Programming Languages

About me

I'm a PhD student in the Logic and Semantics group at Aarhus University, supervised by Aslan Askarov.

Publications

  • From trash to treasure: timing-sensitive garbage collection
      In Proceedings of the 38th IEEE Symposium on Security and Privacy (S&P'17). Mathias V. Pedersen and Aslan Askarov
  • Other somewhat interesting things

  • Research
    • As part of my work on timing-secure garbage collection I have done a formal proof of timing-sensitive noninterference for a security-typed WHILE language with heaps in Coq. The proof can be found on GitHub.
  • Spare-Time Teaching notes