Lab for Automated Reasoning and Analysis LARA

LARA Collaboration

Collaborating groups:

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.


Rich Model Toolkit (


TRESOR : EPFL Thrust in Reliable Software Research


EcoCloud: a consortium of university researchers to pioneer technologies to make cloud computing scalable, cost-effective and sustainable.

collaboration.txt · Last modified: 2012/08/15 16:02 by vkuncak