|
|
Software Engineering Center (6-202 Keller Hall) Department of Computer
Science and Engineering |
|
|
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 |
||
|
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 |
|
