Software Engineering Center (6-202 Keller Hall)

Department of Computer Science and Engineering
University of Minnesota, Twin Cities
200 Union Street S.E., 4-192 Keller Hall
Minneapolis, MN 55455, USA

Phone: (612) 625 0331


Fax: (612) 625 0572


Ensuring that software meets its intended needs is a grand challenge of our times and simply striving for that goal brings its own rewards. My research interests are in those aspects of software engineering that enable such a pursuit. Software testing, formal analysis and requirements modeling are a few areas where this endeavor manifests in the form of interesting theories, compelling applications, engaging studies and nifty tools. When the focus is on safety-critical systems such as medical devices and avionics this journey of discovery and learning is all the more gratifying.

Curious? Welcome to the Critical Systems Research Group.


See here.


CSCI 5802: Software Engineering II

CSCI 8801: Advanced Software Engineering


NFM '16 | FormaliSE '16 | SER&IP'16 | RET '16 | HASE' 16 | OSS4MDE '15 | MEMOCODE '15 | Dagstuhl Seminar 15162 | HASE '15 | CBSE '14 | HASE '14 | SATURN '13 | CBSE '13 | HASE '12