Homepage Dr. Benjamin Doerr Dr. Benjamin Doerr Max Planck Institute for Software Systems, Saarbrücken site doerr@lix.polytechnique.fr