Generate a tailored SOP for Dr. . Improve your application with a focused, well-structured draft.
The Complex Engineering Systems Laboratory at the University of Michigan develops theory, software, and engineering methodologies to support the compositional design of complex systems. The lab aims to provide rigorous guarantees and verification that systems satisfy intended requirements and to identify sources of failure. It collaborates closely with experts across domains such as aerospace, autonomous vehicles, and synthetic biology to apply and extend the capabilities of system design techniques. PhD students with interests in either the theory of system-level design or the application of design theory to analyze specific systems—including those in the aerospace and automotive sectors—are encouraged to apply. The lab employs tools from control theory, formal methods, computational logic, programming languages, artificial intelligence, optimization, and algebra in its research efforts.
Department of Electrical Engineering and Computer Science