SANJAI RAYADURGAM

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

rsanjai@cs.umn.edu

Phone: (612) 625 0331

 

Fax: (612) 625 0572

Research

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.

Publications

See here.

Teaching

CSCI 5802: Software Engineering II

CSCI 8801: Advanced Software Engineering

Activities

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