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
The hidden brain power behind programming
New research from U-M reveals how stimulation of certain brain regions affects programming performance.
CSE researchers receive Mozilla funding for research on AI energy use
The researchers were selected as recipients of the 2024 Mozilla Technology Fund for Zeus, an effort to measure and optimize the energy consumption of machine learning.
H.V. Jagadish receives Stephen S. Attwood Award
The highest faculty honor awarded by the College of Engineering, the award recognizes Jagadish’s outstanding record of achievement in research, teaching, and service.
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.