EPFL conducts research in formal methods, focusing on tools and algorithms for construction of reliable and efficient software and hardware:

• Automated Reasoning and Analysis Lab
• Barbara Jobstmann
• Communications and Applications Laboratory
• Data Analysis Theory and Applications Laboratory
• Dependable Systems Lab
• Distributed Programming Laboratory
• Embedded Systems Laboratory
• Integrated Systems Laboratory
• Processor Architecture Laboratory
• Programming Methods Laboratory

Groups:

• Programming Languages and Formal Methods in IC
• Thrust in Reliable Software Research

Selection of ICT companies:

• CISCO
• Kandou
• Logitech

• BugBuster
• Credit Suisse
• ELCA
• Nexthink
• PSA Peugeot Citroën
• Typesafe

Innovation Environment

• List of Some Companies on Campus
• Innovation and Technology Transfer at EPFL, email: partnership@epfl.ch
• Science Park at EPFL
• Establishing your enterprise in the canton of Vaud