EPFL Laboratory for Automated Reasoning and Analysis is supported by the funding from

• EPFL School of Computer and Communication Sciences
• Swiss National Science Foundation

Past funding support includes:

• European Research Council (ERC), which funded the Implicit Programming project
• Microsoft Innovation Cluster for Embedded Software
• European Cooperation in Science and Technology