LARA LARA Funding 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
