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.

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.

Researchers take control of Siri, Alexa, and Google Home with lasers

Click to read more >