Êtes-vous un étudiant de l'EPFL à la recherche d'un projet de semestre?
Travaillez avec nous sur des projets en science des données et en visualisation, et déployez votre projet sous forme d'application sur GraphSearch.
Le Laboratoire d'analyse et de raisonnement automatique (LARA) de l'EPFL, dirigé par Viktor Kuncak, se concentre sur le développement de techniques, d'outils, d'algorithmes et de langages de raisonnement automatisés précis pour aider à la construction de systèmes informatiques vérifiés. Le groupe de recherche de LARA travaille sur des projets comme Inox pour la vérification des programmes et Leon pour la synthèse des programmes. Ils visent à faciliter la construction de logiciels grâce à la programmation implicite, qui tire parti des procédures de synthèse et des nouveaux outils de développement. LARA collabore avec divers groupes de recherche et a mis au point une gamme d'outils logiciels pour la vérification et la synthèse des programmes.