This is an old revision of the document!
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.