Viktor Kunčak	Mario Bucev	Sankalp Gambhir
Dragana Milovancevic	Simon Guilloud	Rodrigo Raya

See also the official list of past and current PhD students and automatically generated administrative page of the group.

Information on joining and collaborating with LARA:

• About IC
• for postdoc positions, email Viktor Kuncak and check EPFL Fellows program (PDF document)
• PhD Positions and information about EPFL
  • Slides from a Seminar for Starting PhD Students (September 2009, somewhat context-specific)
• Master's program (promotional video from this page)
• EPFL internships
• Exchanges for EPFL students

• Solver-Aided Programming for All by Emina Torlak
• Verified Functional Programming by Nicolas Voirol
• Complete Program Synthesis for Linear Arithmetics by Mikael Mayer
• Induction for SMT Solvers by Andrew Reynolds
• The Huge Threat of Tiny Software Glitches by Viktor Kuncak
• Basics of Program Verification by Viktor Kuncak
• Abstract Interpretation for Program Verification by Viktor Kuncak
• Deep Learning for Math by Romain Edelmann
• Leon Synthesis Demo by Etienne Kneuss
• Program verification with Leon by Regis Blanc
• anyCode - Java Assistance Tool by Tihomir Gvero
• Scala Days 2017 Keynote: Tools for Verified Scala by Viktor Kuncak
• Verifying and Synthesizing Software with Recursive Functions by Viktor Kuncak
• Cleaner Code with less Coding by Mikael Mayer

—