Michigan Systems Laboratory
Faculty at the University of Michigan Computer Science & Engineering Division whose work spans distributed systems, operating systems, security, cyber physical systems, networking, databases, and software engineering.
News
Three CSE grad students recognized by NSF Graduate Research Fellowship Program
This program recognizes and supports outstanding graduate students.

Kang G. Shin recognized with Distinguished Leadership Award by IEEE Computer Society… Technical & Conference Activities Board
His work in the area of real-time computing has spanned decades and has had impact in a broad range of applications.

System enables automated repair in hardware designs
The new framework lets developers cut down on time spent designing bug fixes for hardware specifications, adapting techniques now used widely in software development.

Tools for “more humane coding
Assistant professor Cyrus Omar and PhD student David Moon describe their work to design more intuitive, interactive, and efficient coding environments that can help novices and professionals alike focus on the bigger picture without getting bogged down in bugfixing.
Making complex software more reliable
Assistant professor Manos Kapritsos, a researcher in CSE’s Systems Lab, studies how formal verification can be used to ensure even the most complex, distributed systems can be guaranteed correct without testing.