Software Engineering Institute | Carnegie Mellon University
Software Engineering Institute | Carnegie Mellon University

Verifying Software with Timers and Clocks

Software with Timers and Clocks (STACs) are key elements of the safety-critical systems that make up the infrastructure of our daily lives. New research verifies safety properties of sequential and concurrent STACs at the source-code level.
Read More

SEI to Host 2017 Software Solutions Symposium in Arlington, Virginia

March event to focus on software for capability, agility, and resilience
Read More

SEI Partner Network

Do you need to

  • Understand and prevent insider threats?
  • Develop secure code?
  • Reduce risks from software vulnerabilities?
  • Safeguard critical assets?
  • Increase network and system resilience?
  • Improve software acquisition processes and procedures?

Partnering with SEI can help!  You’ll be able to access the latest cybersecurity and software engineering research. You’ll be certified to perform cybersecurity and software evaluations.  You’ll be authorized to deliver SEI and CERT-branded training.  This gives your organization and clients the tools and techniques they need to improve software development, security, and acquisition processes.

As an SEI Partner, you’ll join an elite group of organizations on the leading edge of software engineering and cyber threat protection. You’ll share in SEI, CERT, and Carnegie Mellon  University's pioneering work and influence the future direction of our research. 

For Current Partners

Find a Partner 

Partner Resources