Search for student projects

  1. 2020
  2. Certifying Time Complexity of Agda Programs Using Complexity Signatures

    Simon Quist Rannes, Johannes Elgaard, Christian Bach Møllnitz

    Software, Master, (Master Programme) 4. term, 2020

    Student thesis: Master Thesis and HD Thesis