english only
EPFL > I&C > Tresor > Home
Research Topics
Useful Links

This is an old revision of the document!

====== TRESOR : EPFL Thrust in Reliable Software Research ====== \\ **Check out [[Seminars|our weekly TRESOR seminar]] including [[videos]]** \\ \\ Software, by its very nature, ought to be the main source of functionality, flexibility, and affordability in today's products and infrastructures. Yet in practice, software is often the main point of vulnerability, the main obstacle to redesign, and the main cause for cost overruns. In comparison to other engineering artifacts, much of today's software is buggy, brittle, insecure, and not interoperable. To remedy this situation, software research needs to refocus, on all levels, from a primary concern about efficiency to a primary concern about reliability. Systems need to be designed for maximum robustness in recovering from errors and tolerating incompatibilities; compilers need to give safety assurances about the generated code; and languages need to support the verifiability and composability of programs with respect to both functional and nonfunctional aspects. At [[http://www.epfl.ch/|EPFL]] a group of faculty is concentrating their efforts, in both research and education, on achieving greater reliability in software development and deployment: * [[http://dslab.epfl.ch/|DSLAB]] ([[http://people.epfl.ch/george.candea|George Candea]]) * [[http://lamp.epfl.ch|LAMP]] ([[http://lampwww.epfl.ch/~odersky/|Martin Odersky]]) * [[http://lara.epfl.ch|LARA]]([[http://lara.epfl.ch/~kuncak/|Viktor Kuncak]]) * [[http://lpd.epfl.ch|LPD]] ([[http://lpdwww.epfl.ch/rachid/|Rachid Guerraoui]]) * [[http://mtc.epfl.ch|MTC]] ([[http://mtc.epfl.ch/~tah/|Tom Henzinger]]) ===== How to Find Us ===== Our labs are in the [[http://www.epfl.ch|EPFL]] [[http://ic.epfl.ch|IC]] Faculty, in Lausanne, Switzerland. Here is more detailed information on [[find_us|how to reach us]].