Research Group

(append to all email addresses)

Current Members

Mikhail Burov 

Mikhail Burov (mikaburov@)
Ph.D. Student
Research interests: Control theory, mathematical modeling

Alex Devonport 

Alex Devonport (alex_devonport@)
Ph.D. Student
Research interests: Systems theory, compositional analysis

Eric Kim Portrait 

Eric Kim (eskim@eecs.)
Ph.D. Student (co-advised with Sanjit Seshia)
Research interests: Control theory, verification and synthesis, design tools

Pierre-Jean Meyer Portrait 

Pierre-Jean Meyer (pjmeyer@)
Postdoctoral Researcher
Research interests: Control theory, reachability analysis, abstraction-based synthesis

Mindy Perkins Portrait 

Mindy Perkins (mindylp@eecs.)
Ph.D. Student
Research interests: Biological systems

Stan Smith Portrait 

Stan Smith (swsmth@eecs.)
Ph.D. Student
Research interests: Control theory, verification and synthesis, distributed systems

Recent Alumni

Andras Gyorgy, Postdoctoral Researcher (2016-2017)
Assistant Professor, New York University, Abu Dhabi

Marcella Gomez, Postdoctoral Researcher (2016-2017)
Assistant Professor, University of California, Santa Cruz

John Maidens, Ph.D., 2017
Chief Data Scientist, Eko Devices, Inc.

Chris Meissen, Ph.D., 2017 (co-advised with Andy Packard)
Research Scientist, Ford Motor Co.

Justin Hsia, Ph.D., 2015
Lecturer, University of Washington, Seattle

Ana S. Rufino Ferreira, Ph.D., 2015
Engineer, Lyft, Inc.

Sam Coogan, Ph.D., 2015
Assistant Professor, Georgia Institute of Technology

Jonathan Tu, Postdoctoral Researcher (2013-2015)
Research Scientist/Engineer, Naval Surface Warfare Center, U.S. Navy

Yusef Shafi, Ph.D., 2014
Data Scientist, Nest/Google

Erin Summers, Ph.D., 2012 (co-advised with Andy Packard)
Engineer, Facebook