LARA

Available Student Projects in LARA - EPFL Internal Page

General LARA Projects Suggestions: https://gitlab.epfl.ch/kuncak/student-projects/

In Spring 2022 we will accept only a limited number of semester projects of students who took Computer Language Processing or Formal Verification, because Viktor Kuncak is on a sabbatical.