Complex Engineering Systems Laboratory


Electrical and Computer Engineering
University of Michigan

The Complex Engineering Systems Laboratory at the University of Michigan develops theory, software, and engineering methodologies to support

  1. the compositional design of complex systems with rigorous guarantees,
  2. the verification of whether such systems satisfy their intended requirements, and
  3. the identification of sources of failure when they don't.
We work closely with experts across various domains—such as aerospace, autonomous vehicles, and synthetic biology—to apply and extend the capabilities of these system-design techniques.

Announcements

  • Our lab is seeking PhD students! Students interested in (i) the theory of system-level design irrespective of application area and/or (ii) the application of this theory to design and analyze specific systems (e.g., from aerospace or automotive) are encouraged to apply. Our work makes use of tools from control, formal methods, computational logic, programming languages, AI, optimization, and algebra.