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 Systems 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.
Learn more at the U-M CSE Faculty Hiring webpage >
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.
Visit our prospective student page on the CSE website >
2020 CSE Graduate Student Honors Competition highlights outstanding research
The competition recognizes the research done by PhD students at CSE and the final competition is the culmination of a process that narrows a field of entrants to a handful of finalists.
Tool to automate popular security technique earns distinguished paper
The new technique automatically constructs policies for applications that keep them from compromising other programs.
‘Extremely aggressive’ internet censorship spreads in the world’s democracies
Washington Post and Wall Street Journal were blocked in Japan during the 2019 G20 summit in Osaka.
Making technology safer for the marginalized
PhD student Allison McDonald is working with Profs. J. Alex Halderman and Florian Schaub (School of Information) to protect vulnerable and marginalized communities from cyber threats.
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.