====== LARA Collaboration ======

**Collaborating groups:**
  * [[http://www.mpi-sws.org/~piskac/|SAAR]] group, Max-Planck Institute for Software Systems
  * [[http://lamp.epfl.ch/|Programming Methods Lab]], EPFL
  * [[http://lpd.epfl.ch/|Distributed Programming Laboratory]], EPFL
  * [[http://www.cs.ucla.edu/~rupak/|Rupak Majumdar]]'s group, Max-Planck Institute for Software Systems
  * [[http://argo.matf.bg.ac.rs/|ARGO]], University of Belgrade
  * [[http://mir.cs.illinois.edu/~marinov/|Darko Marinov]]'s group, UIUC
  * [[http://data.epfl.ch/|Data Lab]], EPFL

**Past members and longer-term visitors:**
Pierre-Evariste Dagand,
Mirco Dotta,
Jad Hamza,
Abhinav Kumar,
Abhishek Kumar Dubey,
Sebastian Gfeller, 
[[http://mir.cs.illinois.edu/~gliga/|Milos Gligoric]],
[[http://www.eecs.berkeley.edu/~koksal/|Ali Sinan Köksal]],
Mikaël Mayer,
Sasa Misailovic,
Marco Muniz,
Hai Huu Nguyen, 
Gizil Oguz,
Harsh Pareek,
Alejandro Sanchez,
Utkarsh Upadhyay,
[[http://cs.nyu.edu/~wies/|Thomas Wies]],
[[http://people.csail.mit.edu/kuat/index.html|Kuat Yessenov]],
[[http://webfea.fea.aub.edu.lb/fadi/|Fadi Zaraket]],

We also host from time to time short visits by researchers in our area, please see [[http://tresor.epfl.ch/dokuwiki/seminars|TRESOR Seminars Page]] for talk abstracts and selected video recordings.

===== Initiatives =====

Rich Model Toolkit (http://RichModels.epfl.ch)

===== Tresor =====

[[http://tresor.epfl.ch|TRESOR]] :  EPFL Thrust in Reliable Software Research

===== EcoCloud =====

[[http://www.ecocloud.ch/|EcoCloud]]: a consortium of university researchers to pioneer technologies to make cloud computing scalable, cost-effective and sustainable.