On this page

Related

Outside

Recent News

I am co-chairing the Software Engineering in Practice Track in ICSE 2019 along with Helen Sharp!

I have joined the ARG group at Amazon Web Services as of August 20th, 2018! I am no longer UMSEC director; please direct queries about the center to Sanjai Rayadurgam. I will still be associated with UMN as an adjunct faculty member.

Research Interests:

My research interests are in the intersection of software requirements, architecture, and verification. These interests are driven by a strong desire to make a wide range of software systems safer, more resilient, and more secure. Specifically, I wish to (1) scale automated testing and formal verification approaches to the point where they will be applied repeatedly and cost effectively in industrial practice, (2) provide rich feedback to developers from verification evidence to help understand the relation between software artifacts and the adequacy of the verification performed given the software's intended purpose, and (3) formulate requirements and provide rigorous verification evidence for learning and adaptive software that will be deployed in cyber-physical systems.

I am a part of the Critical Systems Group (CriSys) whose research interests are in the general area of software engineering; in particular, software development for critical software applications - applications where incorrect operation of the software could lead to loss of life, substantial material or environmental damage, or large monetary losses. The long-term goal of our research activities is the development of a comprehensive framework for the development of software for critical software systems. Our work has focused on some of the most difficult and least understood aspects of software development - requirements specification and validation/verification. For more information, and possible student research opportunities please visit the Crisys Group Page.

Papers:

Teaching:

• Fall 2017, 2016, 2015, 2014, 2013, 2012, 2011, 2010 - SEng 5861: Software Architecture
• Spring 2015 - CSCI8801: Advanced Software Engineering
• Spring 2007 - SEng 5841: Model-Based Software Development and Analysis

Bio:

• My Curriculum Vitae is available here.
• Positions held:
  • Director, University of Minnesota Software Engineering Center
    Dept. of Computer Science and Engineering
    University of Minnesota
    June, 2015 - present ;
  • Program Director, University of Minnesota Software Engineering Center
    Dept. of Computer Science and Engineering
    University of Minnesota
    Dec. 2009 - present ;
  • Sr. Software Engineer
    Advanced Technology Center
    Rockwell Collins, Inc.
    June 2003 - Nov. 2009;
• Education:
  • Ph.D., Computer Science at The University of Minnesota, 2005;
  • B.A.. Computer Science & Mathematics, Luther College, 1994.

Contact Information: