Stéphane Laurière is involved in the following research projects:

• Nepomuk, aiming at creating a "Social Semantic Desktop", and
• EDOS, which is about using formal methods for improving the building, the testing, the disssemination and the maintenance of a Linux distribution.