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.