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.
The System Lab is hiring!
The Systems Laboratory at the University of Michigan comprises a multidisciplinary group of researchers conducting research in systems. The lab focuses on the experimental design, implementation, and evaluation of systems software technologies, which enable the development of a wide range of emerging applications.
Prospective graduate students
Enabling technologies covered by the Systems Lab include biological databases, collaborative computing, compiler and language design, embedded and real-time computing, fault-tolerant computing, file systems, host and network security systems, mobile and distributed systems, network protocols and architectures, operating systems, peer-to-peer storage systems, power-aware adaptation, security policy management, virtual machines, web databases.
News
CSE researchers win Best Paper Award at OSDI 2025
They were recognized for their development of Basilisk, an automated approach for formally verifying distributed protocols.

Five papers by CSE researchers at OSDI 2025
CSE authors are presenting new research on topics related to operating systems design, from distributed protocol verification to silent error detection.

Turning the tables: A benchmark for LLMs in data analysis
A new benchmark designed by U-M researchers reveals the gaps, and potential, of AI models in understanding tabular data.
