- English only
Lab for Automated Reasoning and Analysis LARA
- 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.
Rich Model Toolkit (http://RichModels.epfl.ch)
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.