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
Manos Kapritsos earns CAREER Award to apply formal reasoning to software performance
This project is part of Kapritsos’ larger goal of bringing formal verification to developers and other practitioners.

U-Michigan professor appointed to FDA medical device security post
A Q&A with Kevin Fu, who will help protect software that saves lives at the FDA’s Center for Devices and Radiological Health.

Kevin Fu fills new leadership position at FDA’s Center for Devices and Radiological… Health, overseeing medical device security
The longtime advocate and leading researcher in medical device security heads to Washington for a one-year term.

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.