Research Group

(append berkeley.edu to all email addresses)

Current Members

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

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

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

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

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

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