Helping construct software that does what we expect

(Click here for simpler version of this page on GitHub)

LARA is a research group led by Viktor Kunčak. We develop precise automated reasoning techniques: tools, algorithms and languages. The goal of these techniques is to help the construction of verified computer systems. See, for example, the Stainless project.

===== Scientific Staff =====

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

See also [[http://people.epfl.ch/cgi-bin/people?id=177241&op=teaching_phd&lang=en&cvlang=en|the official list of past and current PhD students]] and [[http://search.epfl.ch/ubrowse.action?acro=LARA|automatically generated administrative page of the group]]. ===== Support =====

System Manager
Fabien Salvi

Secretary
Sylvie Buchard

===== Academic Alumni =====

Jad Hamza	Romain Edelmann	Georg S. Schmid
Andreas Pavlogiannis	Romain Ruetschi	Nataliia Stulova
Nicolas Voirol	Sarah Sallinger	Manos Koukoutos
Ravichandhran Kandhadai Madhavan	Marco Antognini	Mikael Mayer
Regis Blanc	Etienne Kneuss	Andrew J. Reynolds
Eva Darulova	Tihomir Gvero	Ivan Kuraj
Giuliano Losa	Hossein Hojjat	Philippe Suter
Filip Konecny	Pierre-Emmanuel Cornilleau	Andrej Spielmann
Ruzica Piskac (Patrick Denantes Dissertation Award)	Swen Jacobs	Ali Sinan Köksal

===== Joining LARA and EPFL IC ===== Information on joining and collaborating with LARA: * [[https://issuu.com/iccommunication/docs/ic-at-a-glance-d__pliant-prod-18-07|About IC]] * for postdoc positions, email [[https://lara.epfl.ch/~kuncak|Viktor Kuncak]] and check [[http://commission-recherche.epfl.ch/EPFLFellows|EPFL Fellows program]] ({{epflfellows.pdf|PDF document}}) * [[PhD Positions]] and information about EPFL * {{phdseminar09.pdf|Slides from a Seminar for Starting PhD Students}} (September 2009, somewhat context-specific) * [[Master's program]] ([[https://youtu.be/VW5GJM4XaNs|promotional video]] from [[http://ic.epfl.ch/computer-science/prospective-students|this page]]) * [[EPFL internships]] * [[Exchanges for EPFL students]] ---- === 2016 === {{::group2016.jpg|LARA Research Staff, 2016}} === 2012 === {{group2012.jpg|LARA Research Staff, 2012}} === 2009 === {{lara.jpg|LARA Research Staff, 2009}} ===== Some Videos ===== * [[https://tube.switch.ch/videos/166c6218|Solver-Aided Programming for All]] by [[https://homes.cs.washington.edu/~emina/|Emina Torlak]] * [[https://tube.switch.ch/videos/e19471be|Verified Functional Programming]] by [[https://people.epfl.ch/nicolas.voirol|Nicolas Voirol]] * [[https://tube.switch.ch/videos/bde7255e|Complete Program Synthesis for Linear Arithmetics]] by [[https://people.epfl.ch/mikael.mayer|Mikael Mayer]] * [[https://tube.switch.ch/videos/dd5e03cb|Induction for SMT Solvers]] by [[https://people.epfl.ch/andrew.reynolds|Andrew Reynolds]] * [[https://www.youtube.com/watch?v=Av8bo64FrDE|The Huge Threat of Tiny Software Glitches]] by [[https://lara.epfl.ch/~kuncak/|Viktor Kuncak]] * [[https://www.youtube.com/watch?v=20loktdryYM|Basics of Program Verification]] by [[https://lara.epfl.ch/~kuncak/|Viktor Kuncak]] * [[https://www.youtube.com/watch?v=j2m5YMnHvQQ|Abstract Interpretation for Program Verification]] by [[https://lara.epfl.ch/~kuncak/|Viktor Kuncak]] * [[https://www.youtube.com/watch?v=tvtAyZlhtlM|Deep Learning for Math]] by [[https://people.epfl.ch/romain.edelmann|Romain Edelmann]] * [[https://www.youtube.com/watch?v=0aPZq6VC2fk|Leon Synthesis Demo]] by [[https://people.epfl.ch/etienne.kneuss|Etienne Kneuss]] * [[https://www.youtube.com/watch?v=JFbx4iryNb0|Program verification with Leon]] by [[https://people.epfl.ch/regis.blanc|Regis Blanc]] * [[https://www.youtube.com/watch?v=93vZAmLyOQY|anyCode - Java Assistance Tool]] by [[https://people.epfl.ch/188355|Tihomir Gvero]] * Scala Days 2017 Keynote: [[https://www.youtube.com/watch?v=d4VeFa0z_Lo|Tools for Verified Scala]] by [[https://lara.epfl.ch/~kuncak/|Viktor Kuncak]] * [[http://video.itu.dk/video/10044793/icalp-2014-viktor-kuncak|Verifying and Synthesizing Software with Recursive Functions]] by [[https://lara.epfl.ch/~kuncak/|Viktor Kuncak]] * [[https://www.youtube.com/watch?v=oLrSRvUTJzM|Cleaner Code with less Coding]] by [[https://people.epfl.ch/mikael.mayer|Mikael Mayer]] ---