Inigo Incer — Electrical & Computer Eng. faculty at Michigan. Research: Compositional system design, design automation, formal methods, control systems.