- English only
Lab for Automated Reasoning and Analysis LARA
Laboratory for Automated Reasoning and Analysis (LARA), led by Viktor Kuncak, develops precise automated reasoning techniques (algorithms, languages, tools) and applies them to synthesis, analysis, and verification of computer systems. The overall goal is to enable more people to construct more reliable and sophisticated systems.
Quick link: Click here for Information on Implicit Programming
Members
Faculty member: Viktor Kuncak
PhD Students:
- Giuliano Losa (with Rachid Guerraoui)
- Andrej Spielmann (with Christoph Koch)
PhD Alumni: Ruzica Piskac
Postdoctoral researcher alumni:
- Dragiša Žunić
- Steven Obua
Current MSc students:
Interns: Anikó Szajkó
Secretary: Yvette Gallay
System Manager: Fabien Salvi
Collaborating groups:
- SAAR group, Max-Planck Institute for Software Systems
- Programming Methods Lab, EPFL
- Rupak Majumdar‘s group, Max-Planck Institute for Software Systems
- ARGO, University of Belgrade
- Darko Marinov‘s group, UIUC
- Data Lab, EPFL
Past members and longer-term visitors: Pierre-Evariste Dagand, Mirco Dotta, Jad Hamza, Abhinav Kumar, Abhishek Kumar Dubey, Sebastian Gfeller, Milos Gligoric, Ali Sinan Köksal, Mikaël Mayer, Sasa Misailovic, Marco Muniz, Hai Huu Nguyen, Gizil Oguz, Harsh Pareek, Alejandro Sanchez, Utkarsh Upadhyay, Thomas Wies, Kuat Yessenov, Fadi Zaraket,
We also host from time to time short visits by researchers in our area, please see TRESOR Seminars Page for talk abstracts and selected video recordings.
Information on joining and collaborating with LARA:
- for postdoc positions, email Viktor Kuncak
- PhD Positions and information about EPFL
- Slides from a Seminar for Starting PhD Students (September 2009, somewhat context-specific)
Initiatives
- Rich Model Toolkit (http://RichModels.epfl.ch)
Tresor
TRESOR : EPFL Thrust in Reliable Software Research
Funding
Funding Acknowledgments: EPFL Laboratory for Automated Reasoning and Analysis is supported by the funding from