University of Minnesota
Software Engineering Center

UMSEC: University of Minnesota Software Engineering Center

Latest News

A Real-World ThreatThe Director of the University of Minnesota Software Engineering Center Mike Whalen has been working for the past four years with...

It's all about collaboration.

We all know the world of technology is evolving rapidly. The question is, how do you keep pace with this change? Or better still, how do you lead it?

By bringing the right people together by creating an innovative and learning community where academic and industry professionals within the field of software engineering can meet with each other, talk, compare notes, share ideas, and launch new projects.

The University of Minnesota Software Engineering Center (UMSEC) was created to do just that.

Our emphasis is on innovative collaboration; our mission is focused on three activities:

  • Research: Nurture innovative basic and applied research in software engineering and related areas.
  • Education: Educate future generations of software engineering researchers, practitioners, and policy makers in cutting edge software engineering techniques, tools, and business practices.
  • Outreach: Reach out to industry leaders, policy-makers, researchers, educators, and the community-at-large to transfer knowledge as well as better understand and anticipate industry's technical needs.

Find out more about UMSEC.


Contract-Based Black-Box Assurance

Modern systems in diverse domains such as transportation, medicine, aviation and space exploration frequently rely on third-party increasingly rely on third-party components with embedded software. Lack of visibility into the components' implementation and design make traditional techniques for verifying their correctness difficult or even infeasible.

In this three-year, NSF funded research project, Mats Heimdahl, Sanjai Rayadurgam and Stephen McCamant and their graduate students are addressing this problem by developing and evaluating (1) new techniques to discover and capture contracts that such components must satisfy and (2) rigorous object-code-based criteria that can be used to guide as well as assess thorough testing of such components.

Some publications related to this project:


"I always strive to make my students answer the questions 'How does it work?', 'Why does it work?', and 'Where does it work?'. With this knowledge, students are ready to face the challenges of a competitive and rapidly evolving digital world." - Mats P. E. Heimdahl, Former UMSEC Director, recipient of 2003-2004 Distinguished Teacher Award.

More on Mats Heimdahl's award...


The first Thursday every month (September-June), a dedicated group of software professionals meet at the University to learn from distinguished speakers and discuss the challenges of software engineering; it is the monthly gathering of the Twin Cities Software Process Improvement Network TwinSPIN.

Learn more about TwinSPIN.