ENSOFT helps companies develop and modernize high-assurance software. Today our products and services are used by over 450 companies worldwide including every major automotive, aerospace, and defense company in North America, Europe, and Asia. ENSOFT’s clients also include companies in construction, energy, healthcare, media, consumer electronics, and finance. ENSOFT’s research portfolio spans cybersecurity, program analysis, algebra, and graph theory. ENSOFT has executed multiple high-profile DARPA research projects, as well as aided in clients’ internal research projects.