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
Congrats to CSE alums who have accepted faculty positions
Congrats to these new faculty!

NSF backs U-M research to enhance reliability of distributed systems
Researchers in CSE have received a four-year NSF grant to support their development of semantic checkers for distributed systems.

Kang G. Shin receives IEEE TCCPS Technical Achievement Award
The award recognizes Prof. Shin’s substantial and lasting contributions to cyber-physical systems.

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.